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 |