bps-scala
bps-scala
org.maraist.truthmaintenancesystems.justificationbased
EnabledAssumption
EnabledAssumption
JTMS
Just
Node
TmsError
org.maraist.truthmaintenancesystems.justificationbased.ruleengine
Datum
DbClass
JTMS
JTRE
Just
Node
Rule
Rule
TmsContradictionHandler
TmsError
bps-scala
/
org.maraist.truthmaintenancesystems.justificationbased.ruleengine
/
Just
Just
class
Just
[D, I](val index:
Int
, val informant:
I
, val consequence:
Node
[
D
,
I
], val antecedents:
ListBuffer
[
Node
[
D
,
I
]])
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
checkJustification
:
Boolean
def
detailJust
:
Unit
def
getBlurb
:
String
def
isJustificationSatisfied
:
Boolean
def
printJust
:
Unit
override
def
toString
:
String
Definition Classes
Any
Concrete fields
val
antecedents
:
ListBuffer
[
Node
[
D
,
I
]]
val
consequence
:
Node
[
D
,
I
]
val
index
:
Int
val
informant
:
I