bps-scala/org.maraist.truthmaintenancesystems.justificationbased.ruleengine/Node

Node

class Node[D, I](val datum: D, val jtms: JTMS[D, I], var isAssumption: Boolean, var isContradictory: Boolean)
class Object
trait Matchable
class Any

Value members

Concrete methods

def installSupport(just: Just[D, I]): Unit
def makeNodeIn(reason: Justification[D, I]): Unit
def tmsError(string: String): Unit
override
def toString(): String
Definition Classes
Any
def whyNode: Node[D, I]

Concrete fields

var believed: Boolean

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.

val datum: D
val inRules: ListBuffer[Rule[I]]

Rules that should be triggered when node goes in.

Rules that should be triggered when node goes in.

val index: Int
val jtms: JTMS[D, I]
val justs: ListBuffer[Just[D, I]]

Possible justifications.

Possible justifications.

var mark: Option[Symbol]

Marker for sweep algorithms.

Marker for sweep algorithms.

val outRules: ListBuffer[Rule[I]]

Rules that should be triggered when node goes out.

Rules that should be triggered when node goes out.