Uses of Class
org.clafer.instance.InstanceModel

Packages that use InstanceModel

Package	Description
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.

Uses of InstanceModel in org.clafer.compiler

Methods in org.clafer.compiler that return InstanceModel

Modifier and Type	Method and Description
InstanceModel[]	ClaferSolver.allInstances()
InstanceModel	ClaferSolutionMap.getInstance()
InstanceModel	ClaferSolver.instance()

Methods in org.clafer.compiler that return types with arguments of type InstanceModel

Modifier and Type	Method and Description
Pair<Integer,InstanceModel>	ClaferOptimizer.instance()
Pair<Set<AstConstraint>,InstanceModel>	ClaferUnsat.minUnsat() Compute the minimal set of constraints that need to be removed before the model is satisfiable.

Uses of InstanceModel in org.clafer.javascript

Methods in org.clafer.javascript that return types with arguments of type InstanceModel

Modifier and Type	Method and Description
Pair<Set<AstConstraint>,InstanceModel>	JavascriptShell.minUnsat() Find the Min-Unsat and near-miss example.