public override HashSet <Variable> GetFreeVariables() { HashSet <Variable> vars = left.GetFreeVariables(); vars.UnionWith(right.GetFreeVariables()); return(vars); }
public override HashSet <Variable> GetFreeVariables() { HashSet <Variable> vars = antecedent.GetFreeVariables(); vars.UnionWith(consequent.GetFreeVariables()); return(vars); }
public override HashSet <Variable> GetFreeVariables() { HashSet <Variable> vars = scope.GetFreeVariables(); vars.Remove(variable); return(vars); }
public override HashSet <Variable> GetFreeVariables() { return(inner.GetFreeVariables()); }