| Interface | Description |
|---|---|
| SearchListener |
The
SearchListener interface defines the methods available to register for notifications by the Search object. |
| Class | Description |
|---|---|
| DFSearch |
standard depth first model checking (but can be bounded by search depth
and/or explicit Verify.ignoreIf)
|
| PathSearch |
PathSearch is not really a Search object, just a simple 'forward'
driver for the VM that loops until there is no next instruction or
a property doesn't hold
|
| RandomSearch |
this is a straight execution pseudo-search - it doesn't search at
all (i.e.
|
| Search |
The
Search abstract class is at the heart of all search classes. |
| SearchListenerAdapter |
The
SearchListenerAdapter abstract class instantiates the methods from SearchListener in order to create an adapter design pattern. |
| SearchState | |
| Simulation |
this is a straight execution pseudo-search - it doesn't search at
all (i.e.
|