Uses of Class
org.clafer.compiler.ClaferSolutionMap

Packages that use ClaferSolutionMap

Package	Description
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.

Uses of ClaferSolutionMap in org.clafer.compiler

Methods in org.clafer.compiler that return ClaferSolutionMap

Modifier and Type	Method and Description
ClaferSolutionMap	ClaferSolver.getSolutionMap()
ClaferSolutionMap	ClaferOptimizer.getSolutionMap()