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