public override List <TrsVariable> GetVariables() { IEnumerable <TrsVariable> retVal = new TrsVariable[0]; foreach (var subVars in Arguments.Select(arg => arg.GetVariables())) { retVal = retVal.Concat(subVars); } return(retVal.ToList()); }
public override bool ContainsVariable(TrsVariable testVariable) { return testVariable.Equals(this); }
public override bool ContainsVariable(TrsVariable testVariable) { return false; }
/// <summary> /// Checks if this term contains the given variable. This is part of the "occurs check" which /// forms part of the MGU calculation, and the definition of reduction rules. /// </summary> public abstract bool ContainsVariable(TrsVariable testVariable);
public override bool ContainsVariable(TrsVariable testVariable) { return(TermList.Where(term => term.ContainsVariable(testVariable)).Count() > 0); }
public override bool ContainsVariable(TrsVariable testVariable) { return(Arguments.Any(arg => arg.ContainsVariable(testVariable))); }
public override bool ContainsVariable(TrsVariable testVariable) { return(this.GetVariables().Contains(testVariable)); }
public override bool ContainsVariable(TrsVariable testVariable) { return(false); }
public override bool ContainsVariable(TrsVariable testVariable) { return TermList.Where(term => term.ContainsVariable(testVariable)).Count() > 0; }
public override bool ContainsVariable(TrsVariable testVariable) { return Arguments.Any(arg => arg.ContainsVariable(testVariable)); }
public override List<TrsVariable> GetVariables() { IEnumerable<TrsVariable> retVal = new TrsVariable[0]; foreach (var subVars in Arguments.Select(arg => arg.GetVariables())) { retVal = retVal.Concat(subVars); } return retVal.ToList(); }
public override bool ContainsVariable(TrsVariable testVariable) { return(testVariable.Equals(this)); }
public override bool ContainsVariable(TrsVariable testVariable) { return this.GetVariables().Contains(testVariable); }