#include "nusmv/core/node/node.h"
#include "nusmv/core/fsm/bdd/BddFsm.h"
Go to the source code of this file.
Defines | |
#define | TRACE_LABEL(x) ((node_ptr) x) |
#define | TRACE_LABEL_CHECK_INSTANCE(x) (nusmv_assert(TRACE_LABEL(x) != TRACE_LABEL(NULL))) |
#define | TRACE_LABEL_INVALID Nil |
Typedefs | |
typedef node_ptr | TraceLabel |
The header file for the TraceLabel class. | |
Functions | |
TraceLabel | TraceLabel_create (NodeMgr_ptr nodemgr, int trace_id, int state_id) |
TraceLabel Constructor. | |
TraceLabel | TraceLabel_create_from_string (NodeMgr_ptr nodemgr, const char *label_str) |
TraceLabel Constructor. | |
int | TraceLabel_get_state (TraceLabel self) |
Returns the state index associated with the TraceLabel. | |
int | TraceLabel_get_trace (TraceLabel self) |
Returns the trace index associated with the TraceLabel. |
#define TRACE_LABEL_CHECK_INSTANCE | ( | x | ) | (nusmv_assert(TRACE_LABEL(x) != TRACE_LABEL(NULL))) |
typedef node_ptr TraceLabel |
TraceLabel TraceLabel_create | ( | NodeMgr_ptr | nodemgr, | |
int | trace_id, | |||
int | state_id | |||
) |
TraceLabel Constructor.
AutomaticStart
returns a label for the specified trace and state index.
TraceLabel TraceLabel_create_from_string | ( | NodeMgr_ptr | nodemgr, | |
const char * | label_str | |||
) |
TraceLabel Constructor.
creates the label from the specified string. In case of any error, it returns TRACE_LABEL_INVALID as result.
The string 'str' should follow this format: ^*(+)*\.*(-?+)$ in which the first group matches the trace number and the second matches the state number.
TODO[AMi] This function can be merged to similar code in traceCmd.c
int TraceLabel_get_state | ( | TraceLabel | self | ) |
Returns the state index associated with the TraceLabel.
int TraceLabel_get_trace | ( | TraceLabel | self | ) |
Returns the trace index associated with the TraceLabel.