public override Element /*!*/ Rename(Element /*!*/ e, IVariable /*!*/ oldName, IVariable /*!*/ newName)
{
//Contract.Requires(newName != null);
//Contract.Requires(oldName != null);
//Contract.Requires(e != null);
Contract.Ensures(Contract.Result <Element>() != null);
renameCount++;
return(lattice.Rename(e, oldName, newName));
}
public void RenameVariable(Expression OldName, Expression NewName)
{
embedded = UnderlyingPolyhedra.Rename(embedded, Converter.BoxAsVariable <Expression>(OldName, decoder), Converter.BoxAsVariable <Expression>(NewName, decoder));
intv.RenameVariable(OldName, NewName);
}
