Using finite integer sets
[Interfacing to Gecode]
Collaboration diagram for Using finite integer sets:
|
Modules | |
| Set variables | |
| Argument arrays | |
| Variable arrays | |
| Projector constraints | |
| Range and value iterators for set variables | |
| Domain constraints | |
| Relation constraints | |
| Set operation/relation constraints | |
| Convexity constraints | |
| Sequence constraints | |
| Distinctness constraints | |
| Connection constraints to finite domain variables | |
| Selection 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
|
|
Common relation types for sets.
|
). 
). 
). 
). 
).
|
|
Common operations for sets.
|