|
JACK 5.4 Application Interface | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectaos.jack.jak.util.Watchable
aos.jack.jak.beliefset.BeliefSet
aos.jack.jak.beliefset.OpenWorld
Base class for open-world relations. This kind of relation stores both true facts and false facts. Facts not stored are qualified as "unknown".
Constructor Summary | |
OpenWorld()
|
|
OpenWorld(aos.jack.jak.event.EventRecipient h)
|
Method Summary | |
protected void |
__init()
|
void |
addfact(Tuple t,
BeliefState d)
Callback invoked when a fact is asserted. |
void |
assertTuple(Tuple t,
BeliefState d)
Asserts a fact. |
void |
delfact(Tuple t,
BeliefState d)
Callback invoked when a fact is retracted. |
void |
endfact(Tuple t,
BeliefState d,
BeliefState newst)
Callback invoked when a fact retraction changes the belief-set. |
protected void |
fixSizes()
|
void |
moddb()
Callback invoked when a fact assertion or retraction changes the belief-set. |
void |
modfact(Tuple newf,
BeliefState d,
Tuple oldtrue,
Tuple oldfalse)
Callback invoked when a fact assertion changes the belief-set. |
void |
newfact(Tuple t,
BeliefState d,
BeliefState prevst)
Callback invoked when a fact assertion changes the belief-set. |
int |
nFacts()
Returns the number of facts stored in the relation. |
int |
read(aos.apib.InStream is)
Method to read facts from an InStream. |
void |
reset()
Reinitialize the beliefset to an empty state. |
void |
retractTuple(Tuple t,
BeliefState d)
Retracts a fact. |
int |
write(aos.apib.OutStream s)
Method to write facts to an OutStream. |
Methods inherited from class aos.jack.jak.beliefset.BeliefSet |
dump, getArrSize, getHandler, getTuple, invokeAssertListener, invokeRetractListener, newArr, nIndexes, postEvent, read, read, registerOpListener, requireNextOpNotification, resetNextOpNotification, toString, write, write |
Methods inherited from class aos.jack.jak.util.Watchable |
addObserver, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public OpenWorld()
public OpenWorld(aos.jack.jak.event.EventRecipient h)
Method Detail |
public int nFacts()
nFacts
in class BeliefSet
public void addfact(Tuple t, BeliefState d)
public void newfact(Tuple t, BeliefState d, BeliefState prevst)
public void endfact(Tuple t, BeliefState d, BeliefState newst)
public void delfact(Tuple t, BeliefState d)
public void modfact(Tuple newf, BeliefState d, Tuple oldtrue, Tuple oldfalse)
public void moddb()
protected void __init()
public void reset()
public void assertTuple(Tuple t, BeliefState d)
assertTuple
in class BeliefSet
public void retractTuple(Tuple t, BeliefState d)
retractTuple
in class BeliefSet
protected void fixSizes()
public int read(aos.apib.InStream is)
<TupleTable :tuples ( ... // Individual tuples ) >The first TupleTable defines the true facts, and the second TupleTable defined the false facts. Individual tuple formats are derived from the actual tuples, and are generated by the JACK compiler.
read
in class BeliefSet
is
- The Jacob Stream to read from.
public int write(aos.apib.OutStream s)
write
in class BeliefSet
s
- the OutStream to write to.
|
JACK 5.4 Application Interface | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
US Government Restricted Rights
The JACK Modules and relevant Software Material have been developed entirely at private expense and are accordingly provided with RESTRICTED RIGHTS. Use, duplication, or disclosure by Government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of DFARS 252.227-7013 or subparagraph (c)(1) and (2) of the Commercial Computer Software Restricted Rights and 48 CFR 52.2270-19, as applicable.