001package org.clafer.ir;
002
003/**
004 * A variable. Two variables of the same name are still two different variables.
005 * Variables have two flavours, dynamic variables (named Ir<Type>Var) or
006 * fixed variables (named Ir<Type>Constant).
007 *
008 * @author jimmy
009 */
010public interface IrVar {
011
012    /**
013     * @return the name of this variable
014     */
015    public String getName();
016}