Uses of Class
org.clafer.objective.Objective

Packages that use Objective

Package	Description
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.
org.clafer.objective

Uses of Objective in org.clafer.ast.analysis

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

Modifier and Type	Method and Description
Map<Objective,AstSetExpr>	Analysis.getObjectiveExprs()

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

Modifier and Type	Method and Description
AstSetExpr	Analysis.getExpr(Objective objective)

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

Modifier and Type	Method and Description
static Analysis	Analysis.analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)
Analysis	Analysis.setObjectiveExprs(Map<Objective,AstSetExpr> objectiveExprs)

Uses of Objective in org.clafer.ast.compiler

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

Modifier and Type	Method and Description
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, Objective objective, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, Objective objective, IrModule out, boolean fullSymmetryBreaking)
IrIntVar	AstSolutionMap.getObjectiveVar(Objective objective) Returns the variable associated to the objective.

Uses of Objective in org.clafer.compiler

Methods in org.clafer.compiler with parameters of type Objective

Modifier and Type	Method and Description
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective, ClaferOptions options)

Uses of Objective in org.clafer.javascript

Methods in org.clafer.javascript that return Objective

Modifier and Type	Method and Description
Objective[]	JavascriptContext.getObjectives()

Uses of Objective in org.clafer.objective

Methods in org.clafer.objective that return Objective

Modifier and Type	Method and Description
static Objective	Objective.maximize(AstSetExpr expression) Create a new maximization objective.
static Objective	Objective.minimize(AstSetExpr expression) Create a new minimization objective.