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.,
enum Gecode::SetOpType |