|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IArrayElementBacktrackingInfo
Method Summary | |
---|---|
IArrayValue |
getArrayValue()
|
int |
getElementIndex()
|
IValue |
getOldValue()
|
int |
getThreadId()
The descriptor of the thread which took the forward version of this action. |
Methods inherited from interface edu.ksu.cis.projects.bogor.module.backtrack.IBacktrackingInfo |
---|
backtrack, clone, getNode, getSchedulingStrategyInfo, getStateId |
Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable |
---|
dispose |
Method Detail |
---|
IArrayValue getArrayValue()
int getElementIndex()
IValue getOldValue()
int getThreadId()
IBacktrackingInfo
getThreadId
in interface IBacktrackingInfo
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |