CommandReadTrace()
read_trace
CommandShowPlugins()
Lists out all the available plugins inside the system.
CommandShowTraces()
Shows the traces generated in a NuSMV session
TraceIterator_get_next()
This function takes an iterator to a trace and advances it by one.
TraceIterator_is_end()
This function checks if the iterator is at the end of the trace.
TraceLabel_create_from_string()
TraceLabel Constructor
TraceLabel_create()
TraceLabel Constructor
TraceLabel_get_state()
Returns the state index associated with the TraceLabel.
TraceLabel_get_trace()
Returns the trace index associated with the TraceLabel.
TraceManager_create()
Initializes the TraceManager.
TraceManager_destroy()
Destroys the TraceManager with all the registered traces and plugins
TraceManager_execute_plugin()
Execute the given trace using specified plugin.
TraceManager_get_current_trace_number()
Returns the trace_id of the current trace of the TraceManager.
TraceManager_get_default_plugin()
Returns the default plugin of the TraceManager.
TraceManager_get_iterator_from_label()
Returns the traceIterator pointing to the label.
TraceManager_get_plugin_at_index()
Returns the plugin stored at given index
TraceManager_get_plugin_size()
Returns the number of plugins registered with TraceManager.
TraceManager_get_size()
Returns the size of the TraceManager.
TraceManager_get_trace_at_index()
Returns the trace stored at given index
TraceManager_init_plugins()
Registers default plugins.
TraceManager_is_label_valid()
Checks if the label is valid label in a registered trace.
TraceManager_register_plugin()
Registers a plugin with TraceManager.
TraceManager_register_trace()
Registers a trace with TraceManager.
TraceManager_set_current_trace_number()
Sets trace_id as ths current trace of the TraceManager.
TraceManager_set_default_plugin()
Sets plugin_id as ths default_plugin of the TraceManager.
TraceNode_create()
TraceNode Class constructor.
TraceNode_destroy()
The "TraceNode" class dectructor.
TraceNode_get_input()
returns the value of the input of the TraceNode.
TraceNode_get_state()
returns the value of the state of the TraceNode.
TraceNode_set_input()
Sets the value of the input of the traceNode to "inp_i"
TraceNode_set_state()
Sets the value of the state of the traceNode to "trace_i".
TracePkg_get_default_trace_plugin()
Returns the trace plugin currently selected as default
TracePkg_set_default_trace_plugin()
Called when the user selects a trace plugin to be used as default
TraceType_from_string()
Returns a TraceType object from the given string.
TraceType_to_string()
Returns a string corresponding to a TraceType.
Trace_append_from_list_input_state()
Appends to a trace from a list of states.
Trace_append_from_list_state()
Appends to a trace from a list of states.
Trace_append()
Appends a new input and a new state to the trace.
Trace_begin()
Returns an iterator to iterate the "self".
Trace_copy_prefix_until_iterator()
Copies "self" to "other".
Trace_copy()
Returns a copy of the trace.
Trace_create_from_state_input_list()
Creates the Trace from a list of states.
Trace_create_from_state_list()
Creates the Trace from a list of states.
Trace_create()
"Trace" class Constructor.
Trace_destroy()
The "Trace" class destructor.
Trace_get_all_loopbacks()
It returns all loopbacks from last state.
Trace_get_desc()
Returns the description associated with the trace.
Trace_get_enc()
Returns the bdd encoder associated with the trace.
Trace_get_id()
Returns the ID of the trace.
Trace_get_iterator()
Returns an iterator pointing to the given trace-node of the "self".
Trace_get_ith_node()
Returns the ith traceNode.
Trace_get_ith_state()
Returns the state corresponding to the ith traceNode.
Trace_get_last_node()
Returns the last node of the trace.
Trace_get_length()
Returns the length of the trace.
Trace_get_loopback()
This function returns the first node of the "self" having same state as the last node.
Trace_get_node()
It returns the Trace node currently pointed by TraceIterator.
Trace_get_type()
Returns the type of the trace.
Trace_is_equal()
Checks equality between "self" and "other".
Trace_is_registered()
Checks whether trace is registered with the trace manager.
Trace_is_valid()
Checks the validity of the given trace.
Trace_set_ID()
Assign an identifier to the trace.
Trace_set_desc()
Sets the description of the trace.
Trace_set_start_state()
Sets the start state of the Trace.
Trace_set_type()
Set the type of the trace.
Trace_unregister()
Unregisters the given trace.
UsageReadTrace()
UsageReadTrace
UsageShowPlugins()
UsageShowPlugins
UsageShowTraces()
UsageShowTraces
trace_node_get_next()
Returns the trace node that follows "self" node.
trace_node_get_prev()
returns the trace node that precedes "self" node.
trace_node_is_first()
Checks whether it is the first node.
trace_node_is_last()
Checks whether it is the last node.
trace_node_set_next()
Assigns the node "next" to be the successor of the node "self".
trace_node_set_prev()
Assigns the node "prev" to be the predecessor of the node "self".

Last updated on 2004/06/09 19h:21