Node
Wrapper for one possible belief in the TMS.
- Type Params
- Value Params
- datum
Datum associated with this node.
- isAssumption
The explicit designation that a belief is an assumption. Note that setting this flag only does not mean that the TMS will choose to believe it: an assumption must be explicitly activated using enableAssumption, and can be subsequently disbelieved with retractAssumption.
- isContradictory
The explicit designation that a belief is a contradiction. Contradictions are never believed by the JTMS. The JTMS will inform the external system (via JTMS#enqueueProcedure) when a contradictory node becomes believed for the external system to resolve (such as with assumptionsOfNode).
- jtms
JTMS with this node is associated.
- Constructor
The constructor is internal to the implementation, and should only be called from the JTMS#createNode method (or some overriding of that method). However there is no sensible package restriction which will still allow extensions of the overall TMS/node system.
Value members
Concrete methods
Concrete fields
Whether the current node is :IN. A value of true corresponds
to a label of :IN in the old Lisp structure; false, to
:OUT.
Whether the current node is :IN. A value of true corresponds
to a label of :IN in the old Lisp structure; false, to
:OUT.
List of justification relations which may be enabled by belief in this node.
List of justification relations which may be enabled by belief in this node.