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