public override Element /*!*/ Eliminate(Element /*!*/ e, IVariable /*!*/ variable) { //Contract.Requires(variable != null); //Contract.Requires(e != null); Contract.Ensures(Contract.Result <Element>() != null); eliminateCount++; return(lattice.Eliminate(e, variable)); }
public void ProjectVariable(Expression var) { embedded = UnderlyingPolyhedra.Eliminate(embedded, Converter.BoxAsVariable <Expression>(var, decoder)); intv.ProjectVariable(var); }