Uses of Interface
org.sat4j.csp.Clausifiable

Packages that use Clausifiable

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

Uses of Clausifiable in org.sat4j.csp

Classes in org.sat4j.csp that implement Clausifiable

Modifier and Type	Class and Description
class	Predicate A predicate is a formula given in intension.

Uses of Clausifiable in org.sat4j.csp.constraints

Subinterfaces of Clausifiable in org.sat4j.csp.constraints

Modifier and Type	Interface and Description
interface	Relation A relation is a formula given in extension.

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

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