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