|
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.cursor.Cursor
aos.jack.jak.beliefset.BeliefSetCursor
The BeliefSetCursor is a Cursor for belief-set queries. This is a the base for cursors on belief sets. Derived BeliefSets define Cursors specific to them which extend and implement this interface
Field Summary |
Fields inherited from class aos.jack.jak.cursor.Cursor |
FALSE, falseCursor, TRUE, trueCursor, UNKNOWN |
Constructor Summary | |
BeliefSetCursor()
|
Method Summary | |
void |
finished()
This informs the cursor that it is not going to be used again. |
BeliefSet |
getBs()
|
abstract aos.jack.jak.logic.ChoicePoint |
getChoicePoint()
|
abstract Tuple |
getMatched()
Return the tuple that has been successfully matched at last next(), null otherwise. |
abstract int[] |
getMatchedContext()
Return the context information required by restoreNextContext() to repeat the last sucessful match by next(), null if failed. |
abstract int |
hash(int ind)
|
void |
init(int ind,
BeliefSet db)
|
abstract boolean |
isKeyGround()
|
boolean |
isTriggered()
Used by JACK to determine if the cursor provides triggering. |
abstract int |
match(int tabindex,
int start,
int cmpcount,
boolean matchkey,
int hashind)
|
void |
register(java.util.Observer o)
|
abstract void |
removeAll()
Removes all tuples matching the cursor. |
abstract void |
restoreNextContext(int[] matchparams)
Restore parameters for next() to perform a specific match. |
void |
retractAll()
Deprecated. as of JACK v3.5. Use removeAll() instead. Retracts all tuples matching the cursor. |
boolean |
unRegister(java.util.Observer o)
|
Methods inherited from class aos.jack.jak.cursor.Cursor |
negate, next, reset, undo |
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, toString, wait, wait, wait |
Constructor Detail |
public BeliefSetCursor()
Method Detail |
public BeliefSet getBs()
public abstract int match(int tabindex, int start, int cmpcount, boolean matchkey, int hashind)
public abstract Tuple getMatched()
public abstract int[] getMatchedContext()
public abstract void restoreNextContext(int[] matchparams)
public abstract int hash(int ind)
public void retractAll()
public abstract void removeAll()
public abstract aos.jack.jak.logic.ChoicePoint getChoicePoint()
public abstract boolean isKeyGround()
public void init(int ind, BeliefSet db)
public boolean isTriggered()
Cursor
isTriggered
in class Cursor
public void register(java.util.Observer o)
register
in class Cursor
public boolean unRegister(java.util.Observer o)
unRegister
in class Cursor
public void finished()
Cursor
finished
in class Cursor
|
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.