org.clafer.ir.compiler

Class IrSolutionMap

java.lang.Object

org.clafer.ir.compiler.IrSolutionMap

public class IrSolutionMap
extends Object

Maps IR non-constant variables to their translated Choco variables. IR variables can be optimized away. The get<Type>Var methods will return either the constant it optimized to or the Choco variable. The get<Type>Value will return the value, regardless of the optimizations. The get<Type>Value methods are undefined if the solver has not found a solution yet.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	getBoolValue(IrBoolVar var)
boolean[]	getBoolValues(IrBoolVar... vars)
Either<Boolean,solver.variables.BoolVar>	getBoolVar(IrBoolVar var)
Either<Boolean,solver.variables.BoolVar>[]	getBoolVars(IrBoolVar... vars)
int	getIntValue(IrIntVar var)
int[]	getIntValues(IrIntVar... vars)
Either<Integer,solver.variables.IntVar>	getIntVar(IrIntVar var)
solver.variables.IntVar[]	getIntVars()
Either<Integer,solver.variables.IntVar>[]	getIntVars(IrIntVar... vars)
int[]	getSetValue(IrSetVar var)
int[][]	getSetValues(IrSetVar... vars)
Either<int[],solver.variables.SetVar>	getSetVar(IrSetVar var)
solver.variables.SetVar[]	getSetVars()
Either<int[],solver.variables.SetVar>[]	getSetVars(IrSetVar... vars)

Methods inherited from class java.lang.Object

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

Method Detail

getBoolVar

public Either<Boolean,solver.variables.BoolVar> getBoolVar(IrBoolVar var)

getBoolVars

public Either<Boolean,solver.variables.BoolVar>[] getBoolVars(IrBoolVar... vars)

getBoolValue

public boolean getBoolValue(IrBoolVar var)

getBoolValues

public boolean[] getBoolValues(IrBoolVar... vars)

getIntVar

public Either<Integer,solver.variables.IntVar> getIntVar(IrIntVar var)

getIntVars

public Either<Integer,solver.variables.IntVar>[] getIntVars(IrIntVar... vars)

getIntVars

public solver.variables.IntVar[] getIntVars()

getIntValue

public int getIntValue(IrIntVar var)

getIntValues

public int[] getIntValues(IrIntVar... vars)

getSetVar

public Either<int[],solver.variables.SetVar> getSetVar(IrSetVar var)

getSetVars

public Either<int[],solver.variables.SetVar>[] getSetVars(IrSetVar... vars)

getSetVars

public solver.variables.SetVar[] getSetVars()

getSetValue

public int[] getSetValue(IrSetVar var)

getSetValues

public int[][] getSetValues(IrSetVar... vars)