
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 |