
Comparison relation (for two-sided comparisons) More...
#include <minimodel.hh>
Public Member Functions | |
| SetCmpRel (const SetExpr &l, SetRelType srt, const SetExpr &r) | |
| Constructor. More... | |
Public Attributes | |
| SetExpr | l |
| Left side of relation. More... | |
| SetExpr | r |
| Right side of relation. More... | |
| SetRelType | srt |
| Which relation. More... | |
Comparison relation (for two-sided comparisons)
Definition at line 1126 of file minimodel.hh.
|
inline |
Constructor.
Definition at line 47 of file set-rel.hpp.
| SetExpr Gecode::SetCmpRel::l |
Left side of relation.
Definition at line 1129 of file minimodel.hh.
| SetExpr Gecode::SetCmpRel::r |
Right side of relation.
Definition at line 1131 of file minimodel.hh.
| SetRelType Gecode::SetCmpRel::srt |
Which relation.
Definition at line 1133 of file minimodel.hh.