Set relations More...
#include <minimodel.hh>
Public Member Functions | |
SetRel (void) | |
Default constructor. | |
SetRel (const SetExpr &e0, SetRelType srt, const SetExpr &e1) | |
Constructor. | |
SetRel (const SetCmpRel &r) | |
Constructor. | |
void | post (Home home, bool t) const |
Post propagators for relation (or negated relation if t is false) | |
void | post (Home home, BoolVar b, bool t) const |
Post propagators for reified relation (or negated relation if t is false) | |
Set relations
Definition at line 1234 of file minimodel.hh.
|
inline |
Default constructor.
Definition at line 47 of file set-rel.hpp.
|
inline |
Constructor.
Definition at line 50 of file set-rel.hpp.
|
inline |
Constructor.
Definition at line 54 of file set-rel.hpp.
|
inline |
Post propagators for relation (or negated relation if t is false)
Definition at line 58 of file set-rel.hpp.
Post propagators for reified relation (or negated relation if t is false)
Definition at line 72 of file set-rel.hpp.