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