|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Evaluable | |
---|---|
org.sat4j.csp | Classes needed for CSP to SAT translation. |
org.sat4j.csp.constraints | Classes needed for CSP to SAT translation. |
org.sat4j.csp.encodings |
Uses of Evaluable in org.sat4j.csp |
---|
Classes in org.sat4j.csp that implement Evaluable | |
---|---|
class |
Constant
|
class |
Var
|
Method parameters in org.sat4j.csp with type arguments of type Evaluable | |
---|---|
void |
Encoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
Encoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
Clausifiable.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Predicate.toClause(ISolver solver,
IVec<Var> vscope,
IVec<Evaluable> vars)
|
Uses of Evaluable in org.sat4j.csp.constraints |
---|
Method parameters in org.sat4j.csp.constraints with type arguments of type Evaluable | |
---|---|
void |
Supports.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Nogoods.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
AllDiff.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
Uses of Evaluable in org.sat4j.csp.encodings |
---|
Method parameters in org.sat4j.csp.encodings with type arguments of type Evaluable | |
---|---|
void |
GeneralizedSupportEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
BinarySupportEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
DirectEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
GeneralizedSupportEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
BinarySupportEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
DirectEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |