nuXmv API 126f6942
API for nuXmv
Loading...
Searching...
No Matches
Topics
Here is a list of all topics with brief descriptions:
[detail level 12]
 Data StructuresAll data types used by the API
 OptionsEnvironment options
 EnvironmentFunctions for working environment
 Expression TypesFunctions for handling Expression Types
 Variable TypesFunctions for handling Variable Types
 SymbolsFunctions for handling Symbols
 ExpressionsFunctions for handling Expressions
 ModulesFunctions for handling Modules
 Module AddersFunctions for adding objects to a Module
 Module GettersFunctions for getting objects from a Module
 ModelsFunctions for handling Models
 Model Variable GettersFunctions for getting Variables from a Model
 Model Assign GettersFunctions for getting Assigns from a Model
 Model Property GettersFunctions for getting Properties from a Model
 Add property to ModelFunctions for adding Properties to a Model
 PropertiesFunctions for handling Properties
 SimulationFunctions for handling Simulations
 ResultsFunctions for handling simulation Results
 TracesFunctions for handling Traces
 Trace GettersFunctions for getting information out of a Trace