public override HashSet <Term> GetTerms()
{
HashSet <Term> terms = left.GetTerms();
terms.UnionWith(right.GetTerms());
return(terms);
}
public override HashSet <Term> GetTerms()
{
HashSet <Term> terms = antecedent.GetTerms();
terms.UnionWith(consequent.GetTerms());
return(terms);
}
public override HashSet <Term> GetTerms()
{
HashSet <Term> terms = scope.GetTerms();
terms.RemoveWhere(t => { return(t.ContainsTerm(variable) || t.Equals(variable)); });
return(terms);
}
public override HashSet <Term> GetTerms()
{
return(inner.GetTerms());
}
