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