Uses of Interface
org.sat4j.csp.Encoding

Packages that use Encoding

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

Uses of Encoding in org.sat4j.csp.constraints

Methods in org.sat4j.csp.constraints that return Encoding

Modifier and Type	Method and Description
protected Encoding	WalshSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected abstract Encoding	Supports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected Encoding	GentSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected Encoding	BessiereSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)

Uses of Encoding in org.sat4j.csp.encodings

Classes in org.sat4j.csp.encodings that implement Encoding

Modifier and Type	Class and Description
class	BinarySupportEncoding
class	DirectEncoding
class	GeneralizedSupportEncoding

Methods in org.sat4j.csp.encodings that return Encoding

Modifier and Type	Method and Description
static Encoding	GeneralizedSupportEncoding.instance()
static Encoding	BinarySupportEncoding.instance()
static Encoding	DirectEncoding.instance()