Uses of Package
org.clafer.ir.compiler

Packages that use org.clafer.ir.compiler

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.

Classes in org.clafer.ir.compiler used by org.clafer.compiler

Class and Description
IrSolutionMap Maps IR non-constant variables to their translated Choco variables.

Classes in org.clafer.ir.compiler used by org.clafer.ir.compiler

Class and Description
IrSolutionMap Maps IR non-constant variables to their translated Choco variables.