BDDCompleteTraceExecutor Struct Reference

Private and protected interface of class 'BDDCompleteTraceExecutor'. More...

#include <BDDCompleteTraceExecutor_private.h>

Public Member Functions
	INHERITS_FROM (CompleteTraceExecutor)
Data Fields
BddEnc_ptr	enc
BddFsm_ptr	fsm
Related Functions
(Note that these are not member functions.)
void	bdd_complete_trace_executor_deinit (BDDCompleteTraceExecutor_ptr self)
	The BDDCompleteTraceExecutor class private deinitializer.
void	bdd_complete_trace_executor_init (BDDCompleteTraceExecutor_ptr self, const BddFsm_ptr fsm, const BddEnc_ptr enc)
	The BDDCompleteTraceExecutor class private initializer.
BDDCompleteTraceExecutor_ptr	BDDCompleteTraceExecutor_create (const BddFsm_ptr fsm, const BddEnc_ptr enc)
	The BDDCompleteTraceExecutor class constructor.
void	BDDCompleteTraceExecutor_destroy (BDDCompleteTraceExecutor_ptr self)
	The BDDCompleteTraceExecutor class destructor.

---

Detailed Description

Private and protected interface of class 'BDDCompleteTraceExecutor'.

Public interface of class 'BDDCompleteTraceExecutor'.

Author:

Marco Pensallorto This file can be included only by derived and friend classes

BDDCompleteTraceExecutor class definition derived from class CompleteTraceExecutor

See also:

Base class CompleteTraceExecutor

Author:

Marco Pensallorto

Todo:

: Missing description

Definition of the public accessor for class BDDCompleteTraceExecutor

---

Member Function Documentation

BDDCompleteTraceExecutor::INHERITS_FROM

(

CompleteTraceExecutor

)

---

Friends And Related Function Documentation

void bdd_complete_trace_executor_deinit

(

BDDCompleteTraceExecutor_ptr

self

)

[related]

The BDDCompleteTraceExecutor class private deinitializer.

The BDDCompleteTraceExecutor class private deinitializer

See also:

BDDCompleteTraceExecutor_destroy

void bdd_complete_trace_executor_init	(	BDDCompleteTraceExecutor_ptr	self,
		const BddFsm_ptr	fsm,
		const BddEnc_ptr	enc
	)			[related]

The BDDCompleteTraceExecutor class private initializer.

The BDDCompleteTraceExecutor class private initializer

See also:

BDDCompleteTraceExecutor_create

BDDCompleteTraceExecutor_ptr BDDCompleteTraceExecutor_create	(	const BddFsm_ptr	fsm,
		const BddEnc_ptr	enc
	)			[related]

The BDDCompleteTraceExecutor class constructor.

AutomaticStart

The BDDCompleteTraceExecutor class constructor

See also:

BDDCompleteTraceExecutor_destroy

void BDDCompleteTraceExecutor_destroy

(

BDDCompleteTraceExecutor_ptr

self

)

[related]

The BDDCompleteTraceExecutor class destructor.

The BDDCompleteTraceExecutor class destructor

See also:

BDDCompleteTraceExecutor_create

---

Field Documentation

BddEnc_ptr BDDCompleteTraceExecutor::enc

BddFsm_ptr BDDCompleteTraceExecutor::fsm

---

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

• NuSMV/code/nusmv/core/trace/exec/BDDCompleteTraceExecutor_private.h
• NuSMV/code/nusmv/core/trace/exec/BDDCompleteTraceExecutor.h