Uses of Class
org.clafer.ir.IrIntVar

Packages that use IrIntVar

Package	Description
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.
org.clafer.ir.analysis	This package provides various analysis and optimizations to perform on the IR.
org.clafer.ir.compiler	This package provides a compiler to translate IR to Choco.

Uses of IrIntVar in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler that return IrIntVar

Modifier and Type	Method and Description
IrIntVar	AstSolutionMap.getObjectiveVar(Objective objective) Returns the variable associated to the objective.
IrIntVar[]	AstSolutionMap.getRefVars(AstRef ref) Returns the reference variables associated to the reference.
IrIntVar	AstSolutionMap.getSumSoftVar() Returns the variable equal to the sum of the soft variables.

Uses of IrIntVar in org.clafer.ir

Subclasses of IrIntVar in org.clafer.ir

Modifier and Type	Class and Description
class	IrBoolConstant
class	IrBoolVar
class	IrIntConstant

Fields in org.clafer.ir declared as IrIntVar

Modifier and Type	Field and Description
static IrIntVar	Irs.One
static IrIntVar	Irs.Zero Integer

Methods in org.clafer.ir that return IrIntVar

Modifier and Type	Method and Description
static IrIntVar	IrUtil.asConstant(IrIntVar i)
static IrIntVar	Irs.boundInt(String name, int low, int high)
static IrIntVar	Irs.constant(int value)
static IrIntVar	Irs.domainInt(String name, IrDomain domain)
static IrIntVar	Irs.enumInt(String name, int[] values)
IrIntVar	IrRewriter.visit(IrIntVar ir, T a)

Methods in org.clafer.ir with parameters of type IrIntVar

Modifier and Type	Method and Description
static IrIntVar	IrUtil.asConstant(IrIntVar i)
B	IrIntExprVisitor.visit(IrIntVar ir, A a)
IrIntVar	IrRewriter.visit(IrIntVar ir, T a)

Uses of IrIntVar in org.clafer.ir.analysis

Methods in org.clafer.ir.analysis that return types with arguments of type IrIntVar

Modifier and Type	Method and Description
static Triple<Map<IrIntVar,IrIntVar>,Map<IrSetVar,IrSetVar>,IrModule>	Coalescer.coalesce(IrModule module)
static Triple<Map<IrIntVar,IrIntVar>,Map<IrSetVar,IrSetVar>,IrModule>	Coalescer.coalesce(IrModule module)

Uses of IrIntVar in org.clafer.ir.compiler

Methods in org.clafer.ir.compiler with parameters of type IrIntVar

Modifier and Type	Method and Description
int	IrSolutionMap.getIntValue(IrIntVar var)
int[]	IrSolutionMap.getIntValues(IrIntVar... vars)
Either<Integer,solver.variables.IntVar>	IrSolutionMap.getIntVar(IrIntVar var)
Either<Integer,solver.variables.IntVar>[]	IrSolutionMap.getIntVars(IrIntVar... vars)