int 
CommandReadTrace(
  int  argc, 
  char** argv 
)
read_trace

See Also show_traces
Defined in traceCmd.c

int 
CommandShowPlugins(
  int  argc, 
  char** argv 
)
Lists out all the available plugins inside the system.

Defined in traceCmd.c

int 
CommandShowTraces(
  int  argc, 
  char** argv 
)
Shows the traces generated in a NuSMV session

See Also pick_state goto_state simulate
Defined in traceCmd.c

int 
TracePkg_get_default_trace_plugin(
    
)
Returns the trace plugin currently selected as default

Defined in traceCmd.c

boolean 
TracePkg_set_default_trace_plugin(
  int  dp 
)
Returns true if an error occurred

Defined in traceCmd.c

static int 
UsageReadTrace(
    
)
UsageReadTrace

Defined in traceCmd.c

static int 
UsageShowPlugins(
    
)
UsageShowPlugins

Defined in traceCmd.c

static int 
UsageShowTraces(
    
)
UsageShowTraces

Defined in traceCmd.c

Last updated on 2007/04/06 14h:44