public BoogieBoundVariable(Microsoft.Boogie.Variable boogieVariable, IType type) { Debug.Assert(boogieVariable != null); this.boogieVariable = boogieVariable; this.type = type; }
public abstract string getVarUName(Microsoft.Boogie.Variable v);