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

Packages that use Clausifiable

org.sat4j.reader.csp

Classes needed for CSP to SAT translation.

Uses of Clausifiable in org.sat4j.reader.csp

Subinterfaces of Clausifiable in org.sat4j.reader.csp

interface

Relation A relation is a formula given in extension.

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

class	AllDiff
class	BessiereSupports
class	GentSupports
class	Nogoods
class	Predicate A predicate is a formula given in intension.
class	Supports
class	WalshSupports