Using finite integer sets with complete domain representation
[Programming models]
Modules | |
Set variables with complete domain representation | |
Argument arrays | |
Variable arrays | |
Domain constraints | |
Relation constraints | |
CpltSet operation/relation constraints | |
Connection constraints to finite domain variables | |
Intersection and partition constraints | |
Selection constraints | |
Branching | |
Enumerations | |
enum | Gecode::CpltSetRelType { Gecode::SRT_LE, Gecode::SRT_GR, Gecode::SRT_LQ, Gecode::SRT_GQ, Gecode::SRT_LE_REV, Gecode::SRT_GR_REV, Gecode::SRT_LQ_REV, Gecode::SRT_GQ_REV } |
Common relation types for sets. More... | |
enum | Gecode::CpltSetOpType { Gecode::SOT_SYMDIFF } |
Common operations for sets. More... |
Enumeration Type Documentation
Common relation types for sets.
- Enumerator:
Definition at line 508 of file cpltset.hh.