| Interface | Description |
|---|---|
| TrapSpaceInclusionDiagram |
Trap-space inclusion diagram provide an over-approximation of the attractor reachability landscape.
|
| Class | Description |
|---|---|
| TrapSpaceInclusion | |
| TrapSpaceNode |
Simple node containing a trap-space definition and further analysis results.
|
| TrapSpaceTreeFactory | |
| TrapSpaceTreeImpl |
Copyright © 2005–2020. All rights reserved.