|
nuXmv API 126f6942
API for nuXmv
|
| ▼Data Structures | All data types used by the API |
| Options | Environment options |
| Environment | Functions for working environment |
| Expression Types | Functions for handling Expression Types |
| Variable Types | Functions for handling Variable Types |
| Symbols | Functions for handling Symbols |
| Expressions | Functions for handling Expressions |
| ▼Modules | Functions for handling Modules |
| Module Adders | Functions for adding objects to a Module |
| Module Getters | Functions for getting objects from a Module |
| ▼Models | Functions for handling Models |
| Model Variable Getters | Functions for getting Variables from a Model |
| Model Assign Getters | Functions for getting Assigns from a Model |
| Model Property Getters | Functions for getting Properties from a Model |
| Add property to Model | Functions for adding Properties to a Model |
| Properties | Functions for handling Properties |
| Simulation | Functions for handling Simulations |
| Results | Functions for handling simulation Results |
| ▼Traces | Functions for handling Traces |
| Trace Getters | Functions for getting information out of a Trace |