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