Interface TFormulaTreeWalking

walkFormulaTree

• walkFormulaTree<T>(visitor: TFormulaTreeVisitor<T>): T

  Walks the premise's expression tree, invoking the visitor for each node, and returns the visitor's result for the root. Returns the result of visitor.empty() when the premise has no root expression.

  Type Parameters

  • T

  Parameters

  • visitor: TFormulaTreeVisitor<T>

    Callbacks for each expression node type.

  Returns T

  The visitor's result for the root node, or visitor.empty() if the premise is empty.