public static TrsAcTerm Convert(this AstAcTerm astIn)
{
var tokenTermName = astIn.TermName;
return(new TrsAcTerm(tokenTermName.TokenString,
astIn.TermArguments.Arguments.Select(astTermArg => ConvertAstTermBase(astTermArg)), astIn));
}
public TrsAcTerm(string name, IEnumerable<TrsTermBase> arguments, AstAcTerm sourceTerm = null)
{
if (arguments == null || arguments.Count() == 0)
throw new ArgumentException("Expected at least one argument for term definition, otherwise use atom/constant.");
Name = name;
LoadArgumentsAsOnf(arguments);
AstSource = sourceTerm;
}
public TrsAcTerm(string name, IEnumerable <TrsTermBase> arguments, AstAcTerm sourceTerm = null)
{
if (arguments == null || arguments.Count() == 0)
{
throw new ArgumentException("Expected at least one argument for term definition, otherwise use atom/constant.");
}
Name = name;
LoadArgumentsAsOnf(arguments);
AstSource = sourceTerm;
}
