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., \(x\leq y\) means that either \(x\) is empty or the minimal element of the symmetric difference \(x\ominus y\) is in \(y\).
| enum Gecode::SetOpType |