Uses of Class
org.sat4j.csp.Var

Packages that use Var
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 Var in org.sat4j.csp
 

Method parameters in org.sat4j.csp with type arguments of type Var
 void Encoding.onFinish(ISolver solver, IVec<Var> scope)
           
 void Encoding.onInit(ISolver solver, IVec<Var> scope)
           
 void Encoding.onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void Encoding.onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void Predicate.toClause(ISolver solver, IVec<Var> vscope, IVec<Evaluable> vars)
           
 void Clausifiable.toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 

Uses of Var in org.sat4j.csp.constraints
 

Method parameters in org.sat4j.csp.constraints with type arguments of type Var
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)
           
 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 Var in org.sat4j.csp.encodings
 

Method parameters in org.sat4j.csp.encodings 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 GeneralizedSupportEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void DirectEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void BinarySupportEncoding.onInit(ISolver solver, IVec<Var> scope)
           
 void GeneralizedSupportEncoding.onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void DirectEncoding.onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void BinarySupportEncoding.onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void GeneralizedSupportEncoding.onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void DirectEncoding.onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 void BinarySupportEncoding.onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
           
 



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