BDDPartialTraceExecutor Struct Reference

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

#include <BDDPartialTraceExecutor_private.h>

Public Member Functions
	INHERITS_FROM (PartialTraceExecutor)
Data Fields
BddEnc_ptr	enc
BddFsm_ptr	fsm
Related Functions
(Note that these are not member functions.)
void	bdd_partial_trace_executor_deinit (BDDPartialTraceExecutor_ptr self)
	The BDDPartialTraceExecutor class private deinitializer.
void	bdd_partial_trace_executor_init (BDDPartialTraceExecutor_ptr self, const BddFsm_ptr fsm, BddEnc_ptr enc)
	The BDDPartialTraceExecutor class private initializer.
BDDPartialTraceExecutor_ptr	BDDPartialTraceExecutor_create (const BddFsm_ptr fsm, const BddEnc_ptr enc)
	The BDDPartialTraceExecutor class constructor.
void	BDDPartialTraceExecutor_destroy (BDDPartialTraceExecutor_ptr self)
	The BDDPartialTraceExecutor class destructor.

---

Detailed Description

Private and protected interface of class 'BDDPartialTraceExecutor'.

Public interface of class 'BDDPartialTraceExecutor'.

Author:

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

BDDPartialTraceExecutor class definition derived from class PartialTraceExecutor

See also:

Base class PartialTraceExecutor

Author:

Marco Pensallorto

Todo:

: Missing description

Definition of the public accessor for class BDDPartialTraceExecutor

---

Member Function Documentation

BDDPartialTraceExecutor::INHERITS_FROM

(

PartialTraceExecutor

)

---

Friends And Related Function Documentation

void bdd_partial_trace_executor_deinit

(

BDDPartialTraceExecutor_ptr

self

)

[related]

The BDDPartialTraceExecutor class private deinitializer.

The BDDPartialTraceExecutor class private deinitializer

See also:

BDDPartialTraceExecutor_destroy

void bdd_partial_trace_executor_init	(	BDDPartialTraceExecutor_ptr	self,
		const BddFsm_ptr	fsm,
		BddEnc_ptr	enc
	)			[related]

The BDDPartialTraceExecutor class private initializer.

The BDDPartialTraceExecutor class private initializer

See also:

BDDPartialTraceExecutor_create

BDDPartialTraceExecutor_ptr BDDPartialTraceExecutor_create	(	const BddFsm_ptr	fsm,
		const BddEnc_ptr	enc
	)			[related]

The BDDPartialTraceExecutor class constructor.

AutomaticStart

The BDDPartialTraceExecutor class constructor

See also:

BDDPartialTraceExecutor_destroy

void BDDPartialTraceExecutor_destroy

(

BDDPartialTraceExecutor_ptr

self

)

[related]

The BDDPartialTraceExecutor class destructor.

The BDDPartialTraceExecutor class destructor

See also:

BDDPartialTraceExecutor_create

---

Field Documentation

BddEnc_ptr BDDPartialTraceExecutor::enc

BddFsm_ptr BDDPartialTraceExecutor::fsm

---

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

• NuSMV/code/nusmv/core/trace/exec/BDDPartialTraceExecutor_private.h
• NuSMV/code/nusmv/core/trace/exec/BDDPartialTraceExecutor.h