org.clafer.ir

Interface IrVar

All Known Implementing Classes:

IrBoolConstant, IrBoolVar, IrIntConstant, IrIntVar, IrSetConstant, IrSetVar

public interface IrVar

A variable. Two variables of the same name are still two different variables. Variables have two flavours, dynamic variables (named Ir<Type>Var) or fixed variables (named Ir<Type>Constant).

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
String	getName()

Method Detail

getName

String getName()

Returns:

the name of this variable