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

DbClass

class DbClass[I](val name: Any, val jtre: JTRE[I], val facts: ListBuffer[Datum[I]], val rules: ListBuffer[Rule[I]])
class Object
trait Matchable
class Any

Value members

Concrete methods

def getCandidates(pattern: Fact): ListBuffer[Datum[I]]
def insert(fact: Fact): (Datum[I], Boolean)

FILLIN

FILLIN

Note that the post-initialization setup of the datum instance in the Lisp code is now done by the Datum object initialization itself.

def insertRule[Intermed](matcherFn: Fact => Option[Intermed], bodyFn: (JTRE[I], Intermed) => Unit): Unit
def referent1(fact: Fact): Option[Datum[I]]
override
def toString(): String
Definition Classes
Any
def tryRules(datum: Datum[I]): Unit

Concrete fields

val jtre: JTRE[I]
val name: Any