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)
           
 



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.