TraceCompact Struct Reference

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

#include <TraceCompact_private.h>

Public Member Functions
	INHERITS_FROM (TracePlugin)
Related Functions
(Note that these are not member functions.)
void	trace_compact_deinit (TraceCompact_ptr self)
void	trace_compact_init (TraceCompact_ptr self)
TraceCompact_ptr	TraceCompact_create (void)
	Creates an Compact Plugin and initializes it.

---

Detailed Description

The private header file for the TraceCompact class.

The header file for the TraceCompact class.

Author:

Ashutosh Trivedi

Todo:

: Missing description

TraceCompact Class This class contains information to explain a trace:

state_vars_list

list of state variables.

input_vars_list

list of input variables.

This Class inherits from TracePlugin class.

Author:

Alessandro Mariotti

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Member Function Documentation

TraceCompact::INHERITS_FROM

(

TracePlugin

)

---

Friends And Related Function Documentation

void trace_compact_deinit

(

TraceCompact_ptr

self

)

[related]

Todo:

void trace_compact_init

(

TraceCompact_ptr

self

)

[related]

AutomaticStart

Todo:

TraceCompact_ptr TraceCompact_create

(

void

)

[related]

Creates an Compact Plugin and initializes it.

AutomaticStart

Compact plugin constructor.

---

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

• NuSMV/code/nusmv/core/trace/plugins/TraceCompact_private.h
• NuSMV/code/nusmv/core/trace/plugins/TraceCompact.h