Uses of Class
org.clafer.ast.compiler.AstSolutionMap

Packages that use AstSolutionMap

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

Uses of AstSolutionMap in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler that return AstSolutionMap

Modifier and Type	Method and Description
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, IrModule out, boolean fullSymmetryBreaking)
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)

Uses of AstSolutionMap in org.clafer.compiler

Methods in org.clafer.compiler that return AstSolutionMap

Modifier and Type	Method and Description
AstSolutionMap	ClaferSolutionMap.getAstSolution()