Uses of Class
org.sat4j.csp.Var

Packages that use Var

Package	Description
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

Modifier and Type	Method and Description
void	Encoding.onFinish(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	Encoding.onInit(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	Encoding.onNogood(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	Encoding.onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	Predicate.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> vscope, org.sat4j.specs.IVec<Evaluable> vars)
void	Clausifiable.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)

Uses of Var in org.sat4j.csp.constraints

Method parameters in org.sat4j.csp.constraints with type arguments of type Var

Modifier and Type	Method and Description
protected Encoding	WalshSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected abstract Encoding	Supports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected Encoding	GentSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
protected Encoding	BessiereSupports.chooseEncoding(org.sat4j.specs.IVec<Var> scope)
void	Nogoods.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)
void	AllDiff.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)
void	AllDiffCard.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)
void	Supports.toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)

Uses of Var in org.sat4j.csp.encodings

Method parameters in org.sat4j.csp.encodings with type arguments of type Var

Modifier and Type	Method and Description
void	GeneralizedSupportEncoding.onFinish(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	BinarySupportEncoding.onFinish(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	DirectEncoding.onFinish(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	GeneralizedSupportEncoding.onInit(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	BinarySupportEncoding.onInit(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	DirectEncoding.onInit(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	GeneralizedSupportEncoding.onNogood(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	BinarySupportEncoding.onNogood(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	DirectEncoding.onNogood(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	GeneralizedSupportEncoding.onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	BinarySupportEncoding.onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	DirectEncoding.onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,Integer> tuple)