| Class | Description |
|---|---|
| LoLA_Boundedness |
Class to invoke LoLA to check whether a given net is bounded.
|
| LoLA_Plugin |
Plugin to execute LoLA.
|
| LoLADiagnosis |
Visualizer for the results of LoLA.
|
| Enum | Description |
|---|---|
| LoLA_Executor |
Wrapper for the execution of LoLA.
|