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

(

x

)

((node_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define TRACE_LABEL_CHECK_INSTANCE

(

x

)

(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