| Interface | Description |
|---|---|
| StatefulLogicalModel |
Extension of a logical model with the possibility to store initial states and oracles
|
| Class | Description |
|---|---|
| StatefulLogicalModelImpl |
Extension of a logical model with the possibility to maintain a set of initial states and oracles.
Implements the StatefulLogicalModel interface. |
Copyright © 2005–2020. All rights reserved.