Uses of Interface
org.sat4j.csp.Evaluable

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)