Simulation constraint object. More...
#include <nuxmv.h>
Collaboration diagram for nuxmv_simulation_constraint:
Data Fields | |
| nuxmv_expr | simple_constraint |
| nuxmv_expr | trans_constraint |
| nuxmv_trace | trace |
| size_t | trace_start |
| nuxmv_expr | ltl_formula |
Detailed Description
Simulation constraint object.
Field Documentation
◆ ltl_formula
| nuxmv_expr nuxmv_simulation_constraint::ltl_formula |
Specify a formula to simulate or an invalid expression if no formula is provided. This parameter is considered only when creating MathSAT simulations. It is silently ignored otherwise.
◆ simple_constraint
| nuxmv_expr nuxmv_simulation_constraint::simple_constraint |
Constraint (simple expression) for the next steps or an invalid expression if no constraint is provided.
◆ trace
| nuxmv_trace nuxmv_simulation_constraint::trace |
??.
◆ trace_start
| size_t nuxmv_simulation_constraint::trace_start |
??.
◆ trans_constraint
| nuxmv_expr nuxmv_simulation_constraint::trans_constraint |
Constraint (next expression) for the next steps or an invalid expression if no constraint is provided.
The documentation for this struct was generated from the following file:
- Code/include/nuxmv.h
