|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use StateEngine.Execed | |
| uk.ac.man.cs.rainbow.deadlock | Deadlock and temporal model checking. |
| uk.ac.man.cs.rainbow.rapa.abstraction | This package provides classes that support abstract interpretation of GCL derived from RAPA. |
| uk.ac.man.cs.rainbow.wvmc | Classes implementing a model-checker. |
| Uses of StateEngine.Execed in uk.ac.man.cs.rainbow.deadlock |
| Classes in uk.ac.man.cs.rainbow.deadlock that implement StateEngine.Execed | |
static class |
StateEngine.ExecuteResult
Used to indicate what happened during an execute step. |
static class |
StateEngine.ExecuteResult.End
Indicates that there are no more transitions out of the current state. |
static class |
StateEngine.ExecuteResult.Loop
Indicates that there was a transition to a state on the sequence of states that lead to the current state. |
static class |
StateEngine.ExecuteResult.New
Indicates that a transition to a new state was performed. |
static class |
StateEngine.ExecuteResult.Old
Indicates that there was a transition to a state that had previously been backtracked out of. |
| Methods in uk.ac.man.cs.rainbow.deadlock that return StateEngine.Execed | |
StateEngine.Execed |
ModelCheck.Engine.execute(boolean reset,
int op,
int quant,
int gb,
boolean ctl,
int bad,
int good,
boolean dfs)
|
| Uses of StateEngine.Execed in uk.ac.man.cs.rainbow.rapa.abstraction |
| Methods in uk.ac.man.cs.rainbow.rapa.abstraction that return StateEngine.Execed | |
StateEngine.Execed |
Explorer.execute(boolean reset,
int op,
int quant,
int gb,
boolean ctl,
int bad,
int good,
boolean dfs)
|
| Uses of StateEngine.Execed in uk.ac.man.cs.rainbow.wvmc |
| Subinterfaces of StateEngine.Execed in uk.ac.man.cs.rainbow.wvmc | |
static interface |
StateEngine.Looped
When a loop is detected, extra information must be returned. |
static interface |
StateEngine.Repeated
When an old state is detected, extra information must be returned. |
| Methods in uk.ac.man.cs.rainbow.wvmc that return StateEngine.Execed | |
StateEngine.Execed |
StateEngine.Engine.execute(boolean reset,
int op,
int quant,
int gb,
boolean ctl,
int bad,
int good,
boolean dfs)
Try to perform a transition. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||