public void SubstituteAsFalse(int variable)
{
Contract.Assume(Variables != null);
Contract.Assume(NegatedVariables != null);
if (Variables.Contains(variable))
{
IsUnsat = true;
}
if (NegatedVariables.Contains(variable))
{
NegatedVariables.Remove(variable);
}
}
public void SubstituteAsTrue(int variable)
{
Contract.Requires(this.Variables != null);
Contract.Requires(this.NegatedVariables != null);
if (Variables.Contains(variable))
{
Variables.Remove(variable);
}
if (NegatedVariables.Contains(variable))
{
IsUnsat = true;
}
}
