Uses of Class
org.clafer.ast.AstConstraint

Packages that use AstConstraint

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.
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 AstConstraint in org.clafer.ast

Methods in org.clafer.ast that return AstConstraint

Modifier and Type	Method and Description
AstConstraint	AstPrimClafer.addConstraint(AstBoolExpr constraint) Add a new constraint under this Clafer.
AstConstraint	AstClafer.addConstraint(AstBoolExpr expr) Add a new constraint under this Clafer.

Methods in org.clafer.ast that return types with arguments of type AstConstraint

Modifier and Type	Method and Description
List<AstConstraint>	AstClafer.getConstraints() Returns this Clafer's constraints.
static List<AstConstraint>	AstUtil.getNestedConstraints(AstModel model) Find all the constraints in the model.

Uses of AstConstraint in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return types with arguments of type AstConstraint

Modifier and Type	Method and Description
Map<AstConstraint,AstBoolExpr>	Analysis.getConstraintExprs()
List<AstConstraint>	Analysis.getConstraints()
Set<AstConstraint>	Analysis.getHardConstraints()

Methods in org.clafer.ast.analysis with parameters of type AstConstraint

Modifier and Type	Method and Description
AstBoolExpr	Analysis.getExpr(AstConstraint constraint)
boolean	Analysis.isHard(AstConstraint constraint)
boolean	Analysis.isSoft(AstConstraint constraint)

Method parameters in org.clafer.ast.analysis with type arguments of type AstConstraint

Modifier and Type	Method and Description
Analysis	Analysis.setConstraintExprs(Map<AstConstraint,AstBoolExpr> constraintExprs)
Analysis	Analysis.setConstraints(List<AstConstraint> constraints)
Analysis	Analysis.setHardConstraints(Set<AstConstraint> hardConstraints)

Uses of AstConstraint in org.clafer.ast.compiler

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

Modifier and Type	Method and Description
Map<AstConstraint,IrBoolVar>	AstSolutionMap.getSoftVarsMap()

Methods in org.clafer.ast.compiler with parameters of type AstConstraint

Modifier and Type	Method and Description
IrBoolVar	AstSolutionMap.getSoftVar(AstConstraint constraint) Returns the soft variable associated to the constraint.

Uses of AstConstraint in org.clafer.compiler

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

Modifier and Type	Method and Description
Pair<Set<AstConstraint>,InstanceModel>	ClaferUnsat.minUnsat() Compute the minimal set of constraints that need to be removed before the model is satisfiable.
Set<AstConstraint>	ClaferUnsat.unsatCore() Compute a small set of constraints that are mutually unsatisfiable.

Uses of AstConstraint in org.clafer.javascript

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

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