main page modules namespaces classes files
Gecode/J home

Using finite integer sets
[Interfacing to Gecode/J]

Collaboration diagram for Using finite integer sets:

Modules
	Domain constraints
	Relation constraints
	Set operation/relation constraints
	Convexity constraints
	Sequence constraints
	Distinctness constraints
	Connection constraints to finite domain variables
	Selection constraints
	A selection constraint selects zero, one or more elements out of a sequence.
	Branching
	Set variables
Enumerations
enum	org::gecode.SetRelType {   org::gecode.SRT_EQ, org::gecode.SRT_NQ, org::gecode.SRT_SUB, org::gecode.SRT_SUP,   org::gecode.SRT_DISJ, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next }
	Common relation types for sets. More...

---

Enumeration Type Documentation

enum org::gecode::SetRelType

Common relation types for sets.

• SRT_EQ: : Equality ()
• SRT_NQ: Disequality ()
• SRT_SUB: Subset ()
• SRT_SUP: Superset ()
• SRT_DISJ: Disjoint ()
• SRT_CMPL: Complement

Enumerator:

SRT_EQ
SRT_NQ
SRT_SUB
SRT_SUP
SRT_DISJ
next
next
next
next
next
next
next
next
next
next
next
next

Definition at line 23 of file SetRelType.java.