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 15h:56