Uses of Interface
org.sat4j.csp.Clausifiable

Packages that use Clausifiable

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

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

interface

Relation A relation is a formula given in extension.

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

class	AllDiff
class	BessiereSupports
class	GentSupports
class	Nogoods
class	Supports
class	WalshSupports