public void AddActiveVariable() { if (this._activeVariables.Count != 0) { PredicateVariable lastVar = this._activeVariables[this._activeVariables.Count - 1]; string nextLetter = Convert.ToString((char)(lastVar.ToString()[0] + 1)); this._activeVariables.Add(new PredicateVariable(nextLetter)); } else { this._activeVariables.Add(new PredicateVariable("a")); } }
public override void ChangeVariable(PredicateVariable p) { foreach (PredicateVariable v in _variables) { if (v.ToString() != p.ToString()) { if (!v.IsSubtituted()) { v.ChangeVariable(p); break; } } } }