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

Packages that use Encoding

org.sat4j.reader.csp

Classes needed for CSP to SAT translation.

Uses of Encoding in org.sat4j.reader.csp

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

class	BinarySupportEncoding
class	DirectEncoding
class	GeneralizedSupportEncoding

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

protected Encoding	BessiereSupports.chooseEncoding(IVec<Var> scope)
protected Encoding	GentSupports.chooseEncoding(IVec<Var> scope)
protected Encoding	WalshSupports.chooseEncoding(IVec<Var> scope)
protected abstract Encoding	Supports.chooseEncoding(IVec<Var> scope)
static Encoding	GeneralizedSupportEncoding.instance()
static Encoding	DirectEncoding.instance()
static Encoding	BinarySupportEncoding.instance()