TraceTable Struct Reference

The private header file for the TraceTable class. More...

#include <TraceTable_private.h>

Public Member Functions
	INHERITS_FROM (TracePlugin)
Data Fields
TraceTableStyle	style
Related Functions
(Note that these are not member functions.)
void	trace_table_deinit (TraceTable_ptr self)
void	trace_table_init (TraceTable_ptr self, TraceTableStyle style)
TraceTable_ptr	TraceTable_create (TraceTableStyle style)
	Creates an Table Plugin and initializes it.

---

Detailed Description

The private header file for the TraceTable class.

The header file for the TraceTable class.

Author:

Ashutosh Trivedi

Todo:

: Missing description

TraceTable Class This class contains information to explain a trace:

state_vars_list

list of state variables.

input_vars_list

list of input variables.

style

Printing style of the table. Available choices are:
a) TRACE_TABLE_TYPE_ROW
b)TRACE_TABLE_TYPE_COLUMN

This Class inherits from TracePlugin class.

Author:

Ashutosh Trivedi

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Member Function Documentation

TraceTable::INHERITS_FROM

(

TracePlugin

)

---

Friends And Related Function Documentation

void trace_table_deinit

(

TraceTable_ptr

self

)

[related]

Todo:

void trace_table_init	(	TraceTable_ptr	self,
		TraceTableStyle	style
	)			[related]

AutomaticStart

Todo:

TraceTable_ptr TraceTable_create

(

TraceTableStyle

style

)

[related]

Creates an Table Plugin and initializes it.

AutomaticStart

Table plugin constructor. As arguments it takes variable style which decides the style of printing the trace. The possible values of the style variable may be: TRACE_TABLE_TYPE_ROW and TRACE_TABLE_TYPE_COLUMN.

---

Field Documentation

TraceTableStyle TraceTable::style

---

The documentation for this struct was generated from the following files:

• NuSMV/code/nusmv/core/trace/plugins/TraceTable_private.h
• NuSMV/code/nusmv/core/trace/plugins/TraceTable.h