Enumerations | |
enum | Gecode::SetRelType { Gecode::SRT_EQ , Gecode::SRT_NQ , Gecode::SRT_SUB , Gecode::SRT_SUP , Gecode::SRT_DISJ , Gecode::SRT_CMPL , Gecode::SRT_LQ , Gecode::SRT_LE , Gecode::SRT_GQ , Gecode::SRT_GR } |
Common relation types for sets. More... | |
enum | Gecode::SetOpType { Gecode::SOT_UNION , Gecode::SOT_DUNION , Gecode::SOT_INTER , Gecode::SOT_MINUS } |
Common operations for sets. More... |
enum Gecode::SetRelType |
Common relation types for sets.
The total order on sets is defined as the lexicographic order on their characteristic functions, e.g.,
Enumerator | |
---|---|
SRT_EQ | Equality ( |
SRT_NQ | Disequality ( |
SRT_SUB | Subset ( |
SRT_SUP | Superset ( |
SRT_DISJ | Disjoint ( |
SRT_CMPL | Complement. |
SRT_LQ | Less or equal ( |
SRT_LE | Less ( |
SRT_GQ | Greater or equal ( |
SRT_GR | Greater ( |
enum Gecode::SetOpType |