org.clafer.ir.compiler

Class IrCompiler

java.lang.Object

org.clafer.ir.compiler.IrCompiler

public class IrCompiler
extends Object

Compile from IR to Choco.

Author:

jimmy

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

compile

public static IrSolutionMap compile(IrModule in,
                    solver.Solver out)

compile

public static IrSolutionMap compile(IrModule in,
                    solver.Solver out,
                    boolean coalesceVariables)