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

JTRE

class JTRE[I](val title: String, val debugging: Boolean)
class Object
trait Matchable
class Any

Value members

Concrete methods

def assert(fact: Fact, just: Justification[Datum[I], I]): Datum[I]
def assume(fact: Fact, reason: Node[Datum[I], I]): Datum[I]
def assumptionsOf(fact: Fact): Node[Datum[I], I]
def contradiction(fact: Fact): Node[Datum[I], I]
def dequeue: Rule[I]
def enqueue(rule: Rule[I]): Unit
def getDatum(num: Int): Datum[I]
def getDbClass(fact: Fact): DbClass[I]
def getJust(num: Int): Just[Datum[I], I]
def getRule(num: Int): Rule[I]
def getTmsNode(fact: Fact): Node[Datum[I], I]
def isIn(fact: Fact): Boolean
def isOut(fact: Fact): Boolean
def mapDbClass(proc: DbClass[I] => Unit): Unit
def quietAssert(fact: Fact, just: Just[Datum[I], I]): Datum[I]
def referent(fact: Fact): Option[Datum[I]]
def referent(fact: Fact, isVirtual: Boolean): Option[Datum[I]]
def retract(fact: Fact, just: Justification[Datum[I], I], quiet: Boolean): Node[Datum[I], I]
def run: Unit
def show: Unit
override
def toString: String
Definition Classes
Any
def uAssert(fact: Fact, just: Justification[Datum[I], I]): Unit
def uAssume(fact: Fact, reason: Node[Datum[I], I]): Unit
def why(fact: Fact): Node[Datum[I], I]

Concrete fields

var datumCounter: Int

Unique ID generator for asserts.

Unique ID generator for asserts.

val dbClassTable: DbClassTable[I]

Table of DbClasses.

Table of DbClasses.

val jtms: JTMS[Datum[I], I]

Pointer to its JTMS.

Pointer to its JTMS.

val queue: Queue[Rule[I]]

Rule queue.

Rule queue.

var ruleCounter: Int

Unique ID generator for rules.

Unique ID generator for rules.

var rulesRun: Int

Statistic.

Statistic.