Using finite integer sets
[Programming models]
Modules | |
Set variables | |
Projector constraints | |
Range and value iterators for set variables | |
Argument arrays | |
Variable arrays | |
Domain constraints | |
Relation constraints | |
Set operation/relation constraints | |
Convexity constraints | |
Sequence constraints | |
Distinctness constraints | |
Connection constraints to finite domain variables | |
Element constraints | |
Branching | |
Enumerations | |
enum | Gecode::SetRelType { Gecode::SRT_EQ, Gecode::SRT_NQ, Gecode::SRT_SUB, Gecode::SRT_SUP, Gecode::SRT_DISJ, Gecode::SRT_CMPL } |
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... |
Enumeration Type Documentation
enum Gecode::SetRelType |
enum Gecode::SetOpType |