NuSMV/code/nusmv/core/trace/TraceLabel.h File Reference

#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 Documentation

#define TRACE_LABEL (  )     ((node_ptr) x)
Todo:
Missing synopsis
Todo:
Missing description
#define TRACE_LABEL_CHECK_INSTANCE (  )     (nusmv_assert(TRACE_LABEL(x) != TRACE_LABEL(NULL)))
Todo:
Missing synopsis
Todo:
Missing description
#define TRACE_LABEL_INVALID   Nil
Todo:
Missing synopsis
Todo:
Missing description

Typedef Documentation

typedef node_ptr TraceLabel

The header file for the TraceLabel class.

Author:
Ashutosh Trivedi
Todo:
: Missing description
Todo:
Missing synopsis
Todo:
Missing description

Function Documentation

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.

See also:
TraceLabel_create_from_string
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

See also:
TraceLabel_create
int TraceLabel_get_state ( TraceLabel  self  ) 

Returns the state index associated with the TraceLabel.

See also:
TraceLabel_get_trace
int TraceLabel_get_trace ( TraceLabel  self  ) 

Returns the trace index associated with the TraceLabel.

See also:
TraceLabel_get_state
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1