-
CommandExecutePartialTraces()
- CommandExecutePartialTraces
-
CommandExecuteTraces()
- CommandExecuteTraces
-
CommandReadTrace()
- read_trace
-
CommandShowPlugins()
- Lists out all the available plugins inside the system.
-
CommandShowTraces()
- Shows the traces generated in a NuSMV session
-
TraceUtils_fetch_as_bdd()
- Extracts assignments in (trace, step) to a set of symbols
-
TraceUtils_fetch_as_be()
- Extracts assignments in (trace, step) to a set of symbols
-
TraceUtils_fetch_as_sexp()
- Extracts assignments in (trace, step) to a set of symbols
-
UsageExecuteTraces()
- UsageExecuteTraces
-
UsageReadTrace()
- UsageReadTrace
-
UsageShowPlugins()
- UsageShowPlugins
-
UsageShowTraces()
- UsageShowTraces
-
trace_evaluate_define()
- Evaluates a define in a given environment
-
trace_evaluate_expr_recur()
- Evaluates a define in a given environment
-
trace_make_failure()
- Private service of trace_evaluate_expr_recur
-
trace_simplify_expr()
- Simplifies an expression using core simplifier and
MathSAT
-
trace_step_evaluate_defines()
- Evaluates defines for a trace
-
()
- UsageExecutePartialTrace
Last updated on 2010/05/19 22h:26