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

Packages that use Relation

org.sat4j.reader	Some utility classes to read problems from plain text files.
org.sat4j.reader.csp	Classes needed for CSP to SAT translation.

Uses of Relation in org.sat4j.reader

Fields in org.sat4j.reader declared as Relation

protected Relation[]

CSPReader.relations

Uses of Relation in org.sat4j.reader.csp

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

class	BessiereSupports
class	GentSupports
class	Nogoods
class	Supports
class	WalshSupports