Uses of Interface
org.sat4j.csp.Encoding

Packages that use Encoding

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

protected abstract Encoding	Supports.chooseEncoding(IVec<Var> scope)
protected Encoding	BessiereSupports.chooseEncoding(IVec<Var> scope)
protected Encoding	GentSupports.chooseEncoding(IVec<Var> scope)
protected Encoding	WalshSupports.chooseEncoding(IVec<Var> scope)

Uses of Encoding in org.sat4j.csp.encodings

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

class	BinarySupportEncoding
class	DirectEncoding
class	GeneralizedSupportEncoding

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

static Encoding	GeneralizedSupportEncoding.instance()
static Encoding	BinarySupportEncoding.instance()
static Encoding	DirectEncoding.instance()