Using finite integer sets with complete domain representation
[Programming models]

Enumeration Type Documentation

Common relation types for sets.

Enumerator:

SRT_LE	Lexicographically less than on bitstring( $\prec_{lex}$ ).
SRT_GR	Lexicographically less than on bitstring( $\prec_{lex}$ ).
SRT_LQ	Lexicographically less than or equal ( $\preceq_{lex}$ ).
SRT_GQ	Lexicographically greater than or equal ( $\preceq_{lex}$ ).
SRT_LE_REV	Lexicographically less than on reversed bitstring( $\prec_{lex}$ ).
SRT_GR_REV	Lexicographically greater than on reversed bitstring ( $\succ_{lex}$ ).
SRT_LQ_REV	Lexicographically reversed less than or equal ( $\preceq_{lex}$ ).
SRT_GQ_REV	Lexicographically reversed greater than or equal ( $\preceq_{lex}$ ).

Definition at line 508 of file cpltset.hh.

Common operations for sets.

Enumerator:

SOT_SYMDIFF

Symmetric Difference.

Definition at line 531 of file cpltset.hh.


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...