Class: Propose::Tree::Node

Inherits:

Object

• Object
• Propose::Tree::Node

Defined in:

lib/propose/tree/node.rb

Overview

Generic definition of a parse tree node for propositional logic.

Direct Known Subclasses

Atom, BinaryOperation, Falsum, Sequent, UnaryOperation, Verum

Instance Method Summary

• #children ⇒ Object

  Nodes which can be considered the children of this node.

• #literal? ⇒ Boolean

  Whether this node can be considered an unambiguous single lexical unit.

Instance Method Details

#children ⇒ Object

Nodes which can be considered the children of this node.

# File 'lib/propose/tree/node.rb', line 5

def children
  []
end

#literal? ⇒ Boolean

Whether this node can be considered an unambiguous single lexical unit.

This is used to omit unnecessary parentheses when rendering.

Returns:

• (Boolean)

# File 'lib/propose/tree/node.rb', line 12

def literal?
  false
end