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., means that either
is empty or the minimal element of the symmetric difference
is in
.
enum Gecode::SetOpType |