Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
org.sat4j.reader.csp.Var

Packages that use Var
org.sat4j.reader.csp Classes needed for CSP to SAT translation. 
 

Uses of Var in org.sat4j.reader.csp
 

Method parameters in org.sat4j.reader.csp with type arguments of type Var
 void GeneralizedSupportEncoding.onFinish(ISolver solver, IVec<Var> scope)
           
 void DirectEncoding.onFinish(ISolver solver, IVec<Var> scope)
           
 void BinarySupportEncoding.onFinish(ISolver solver, IVec<Var> scope)
           
 void Encoding.onFinish(ISolver solver, IVec<Var> scope)
           
 void GeneralizedSupportEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void DirectEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void BinarySupportEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void Encoding.onInit(ISolver solver, IVec<Var> scope)
           
 void GeneralizedSupportEncoding.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 BinarySupportEncoding.onNogood(ISolver solver, IVec<Var> scope, java.util.Map<Evaluable,java.lang.Integer> tuple)
           
 void Encoding.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 DirectEncoding.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 Encoding.onSupport(ISolver solver, IVec<Var> scope, java.util.Map<Evaluable,java.lang.Integer> tuple)
           
 void Nogoods.toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 void Supports.toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 void AllDiff.toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 void Predicate.toClause(ISolver solver, IVec<Var> vscope, IVec<Evaluable> vars)
           
 void Clausifiable.toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES