Uses of Interface
org.sat4j.csp.constraints.Relation

Packages that use Relation

Package	Description
org.sat4j.csp.constraints	Classes needed for CSP to SAT translation.
org.sat4j.reader

Uses of Relation in org.sat4j.csp.constraints

Classes in org.sat4j.csp.constraints that implement Relation

Modifier and Type	Class and Description
class	BessiereSupports
class	GentSupports
class	Nogoods
class	Supports
class	WalshSupports

Uses of Relation in org.sat4j.reader

Fields in org.sat4j.reader declared as Relation

Modifier and Type	Field and Description
protected Relation[]	CSPReader.relations