Uses of Class
org.clafer.ir.compiler.IrSolutionMap

Packages that use IrSolutionMap

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.ir.compiler	This package provides a compiler to translate IR to Choco.

Uses of IrSolutionMap in org.clafer.compiler

Methods in org.clafer.compiler that return IrSolutionMap

Modifier and Type	Method and Description
IrSolutionMap	ClaferSolutionMap.getIrSolution()

Uses of IrSolutionMap in org.clafer.ir.compiler

Methods in org.clafer.ir.compiler that return IrSolutionMap

Modifier and Type	Method and Description
static IrSolutionMap	IrCompiler.compile(IrModule in, solver.Solver out)
static IrSolutionMap	IrCompiler.compile(IrModule in, solver.Solver out, boolean coalesceVariables)