Uses of Interface
org.clafer.ir.IrVar

Packages that use IrVar

Package	Description
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.

Uses of IrVar in org.clafer.ir

Classes in org.clafer.ir that implement IrVar

Modifier and Type	Class and Description
class	IrBoolConstant
class	IrBoolVar
class	IrIntConstant
class	IrIntVar
class	IrSetConstant
class	IrSetVar

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

Modifier and Type	Method and Description
Set<IrVar>	IrModule.getVariables()

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

Modifier and Type	Method and Description
IrModule	IrModule.addVariable(IrVar var)
IrModule	IrModule.addVariables(IrVar... vars)

Method parameters in org.clafer.ir with type arguments of type IrVar

Modifier and Type	Method and Description
IrModule	IrModule.addVariables(Iterable<? extends IrVar> vars)