public override Answer CheckVariableDisequality(Element /*!*/ e, IVariable /*!*/ var1, IVariable /*!*/ var2)
{
//Contract.Requires(var2 != null);
//Contract.Requires(var1 != null);
//Contract.Requires(e != null);
checkVariableDisequalityCount++;
return(lattice.CheckVariableDisequality(e, var1, var2));
}
public Answer CheckVariableDisequality(IVariable /*!*/ var1, IVariable /*!*/ var2)
{
//Contract.Requires(var2 != null);
//Contract.Requires(var1 != null);
return(lattice.CheckVariableDisequality(element, var1, var2));
}
