-
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.
-
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 2005/03/17 18h:25