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); }