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

#include "nusmv/core/utils/utils.h"

Defines
#define	TRACE_XML_CNTX_TAG_STRING "counter-example"
#define	TRACE_XML_COMB_TAG_STRING "combinatorial"
#define	TRACE_XML_INPUT_TAG_STRING "input"
#define	TRACE_XML_LOOPS_TAG_STRING "loops"
#define	TRACE_XML_NODE_TAG_STRING "node"
#define	TRACE_XML_STATE_TAG_STRING "state"
#define	TRACE_XML_VALUE_TAG_STRING "value"
Enumerations
enum	TraceXmlTag { TRACE_XML_INVALID_TAG = -1, TRACE_XML_CNTX_TAG = 0, TRACE_XML_NODE_TAG, TRACE_XML_STATE_TAG, TRACE_XML_COMB_TAG, TRACE_XML_INPUT_TAG, TRACE_XML_VALUE_TAG, TRACE_XML_LOOPS_TAG }
	The Trace xml header. More...
Functions
TraceXmlTag	TraceXmlTag_from_string (const char *tag)
const char *	TraceXmlTag_to_string (TraceXmlTag tag)

Define Documentation

#define TRACE_XML_CNTX_TAG_STRING "counter-example"

#define TRACE_XML_COMB_TAG_STRING "combinatorial"

#define TRACE_XML_INPUT_TAG_STRING "input"

#define TRACE_XML_LOOPS_TAG_STRING "loops"

#define TRACE_XML_NODE_TAG_STRING "node"

#define TRACE_XML_STATE_TAG_STRING "state"

#define TRACE_XML_VALUE_TAG_STRING "value"

The Trace xml header.

Numeric values for all possible tags that can occur in the xml representation

Enumerator:

TraceXmlTag TraceXmlTag_from_string ( const char * tag )

AutomaticStart AutomaticEnd

const char* TraceXmlTag_to_string ( TraceXmlTag tag )