Visitor callbacks for walking a premise's expression tree. Each method handles one node type and returns a caller-defined result.
Called when the premise has no root expression.
Called for each formula (grouping). Receives the rendered child.
Called for each operator. Receives the operator type and rendered children.
Called for each variable expression.
Visitor callbacks for walking a premise's expression tree. Each method handles one node type and returns a caller-defined result.