|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 Encoding |
WalshSupports.chooseEncoding(IVec<Var> scope)
|
protected abstract Encoding |
Supports.chooseEncoding(IVec<Var> scope)
|
protected Encoding |
GentSupports.chooseEncoding(IVec<Var> scope)
|
protected Encoding |
BessiereSupports.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 |
DirectEncoding.instance()
|
static Encoding |
BinarySupportEncoding.instance()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |