TraceExplainer Struct Reference

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

#include <TraceExplainer_private.h>

Public Member Functions
	INHERITS_FROM (TracePlugin)
Data Fields
boolean	changes_only
Related Functions
(Note that these are not member functions.)
void	trace_explainer_deinit (TraceExplainer_ptr self)
void	trace_explainer_init (TraceExplainer_ptr self, boolean changes_only)
TraceExplainer_ptr	TraceExplainer_create (boolean changes_only)
	Creates an Explainer Plugin and initializes it.

---

Detailed Description

The private header file for the TraceExplainer class.

The header file for the TraceExplainer class.

Author:

Ashutosh Trivedi

Todo:

: Missing description

TraceExplainer Class This class contains information to explain a trace:

changes_only

If this field is true, then explainer will print only those variables whose value changes.

This Class inherits from TracePlugin class.

Author:

Ashutosh Trivedi

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Member Function Documentation

TraceExplainer::INHERITS_FROM

(

TracePlugin

)

---

Friends And Related Function Documentation

void trace_explainer_deinit

(

TraceExplainer_ptr

self

)

[related]

Todo:

void trace_explainer_init	(	TraceExplainer_ptr	self,
		boolean	changes_only
	)			[related]

AutomaticStart

Todo:

TraceExplainer_ptr TraceExplainer_create

(

boolean

changes_only

)

[related]

Creates an Explainer Plugin and initializes it.

AutomaticStart

Explainer plugin constructor. As arguments it takes the boolean variable /"changes_only/". If changes_only is 1, than only state variables which assume a different value from the previous printed one are printed out.

---

Field Documentation

boolean TraceExplainer::changes_only

---

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

• NuSMV/code/nusmv/core/trace/plugins/TraceExplainer_private.h
• NuSMV/code/nusmv/core/trace/plugins/TraceExplainer.h