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