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.