/// <summary>
/// Converts the given term AST into a term.
/// </summary>
/// <param name="termAstNode">AST node.</param>
/// <returns>Converted term.</returns>
public static Term ToTerm(TermAstNode termAstNode)
{
ToTermConverter converter = new ToTermConverter();
converter.Evaluate(termAstNode);
return(converter.TermData);
}
/// <summary>
/// Converts the given general term/numeric AST into a term.
/// </summary>
/// <param name="termAstNode">AST node.</param>
/// <returns>Converted term.</returns>
public static Term ToTerm(TermOrNumericAstNode termAstNode)
{
TermAstNode term = termAstNode as TermAstNode;
if (term != null)
{
return(ToTerm(term));
}
Debug.Assert(false);
return(null);
}
