SATCompleteTraceExecutor Struct Reference

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

#include <SATCompleteTraceExecutor_private.h>

Public Member Functions
	INHERITS_FROM (CompleteTraceExecutor)
Data Fields
BddEnc_ptr	bdd_enc
BeEnc_ptr	enc
BeFsm_ptr	fsm
Related Functions
(Note that these are not member functions.)
void	sat_complete_trace_executor_deinit (SATCompleteTraceExecutor_ptr self)
	The SATCompleteTraceExecutor class private deinitializer.
void	sat_complete_trace_executor_init (SATCompleteTraceExecutor_ptr self, const BeFsm_ptr fsm, const BeEnc_ptr enc, const BddEnc_ptr bdd_enc)
	The SATCompleteTraceExecutor class private initializer.
SATCompleteTraceExecutor_ptr	SATCompleteTraceExecutor_create (const BeFsm_ptr fsm, const BeEnc_ptr enc, const BddEnc_ptr bdd_enc)
	The SATCompleteTraceExecutor class constructor.
void	SATCompleteTraceExecutor_destroy (SATCompleteTraceExecutor_ptr self)
	The SATCompleteTraceExecutor class destructor.

---

Detailed Description

Private and protected interface of class 'SATCompleteTraceExecutor'.

Public interface of class 'SATCompleteTraceExecutor'.

Author:

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

SATCompleteTraceExecutor class definition derived from class CompleteTraceExecutor

See also:

Base class CompleteTraceExecutor

Author:

Marco Pensallorto

Todo:

: Missing description

Definition of the public accessor for class SATCompleteTraceExecutor

---

Member Function Documentation

SATCompleteTraceExecutor::INHERITS_FROM

(

CompleteTraceExecutor

)

---

Friends And Related Function Documentation

void sat_complete_trace_executor_deinit

(

SATCompleteTraceExecutor_ptr

self

)

[related]

The SATCompleteTraceExecutor class private deinitializer.

The SATCompleteTraceExecutor class private deinitializer

See also:

SATCompleteTraceExecutor_destroy

void sat_complete_trace_executor_init	(	SATCompleteTraceExecutor_ptr	self,
		const BeFsm_ptr	fsm,
		const BeEnc_ptr	enc,
		const BddEnc_ptr	bdd_enc
	)			[related]

The SATCompleteTraceExecutor class private initializer.

The SATCompleteTraceExecutor class private initializer

See also:

SATCompleteTraceExecutor_create

SATCompleteTraceExecutor_ptr SATCompleteTraceExecutor_create	(	const BeFsm_ptr	fsm,
		const BeEnc_ptr	enc,
		const BddEnc_ptr	bdd_enc
	)			[related]

The SATCompleteTraceExecutor class constructor.

AutomaticStart

The SATCompleteTraceExecutor class constructor

See also:

SATCompleteTraceExecutor_destroy

void SATCompleteTraceExecutor_destroy

(

SATCompleteTraceExecutor_ptr

self

)

[related]

The SATCompleteTraceExecutor class destructor.

The SATCompleteTraceExecutor class destructor

See also:

SATCompleteTraceExecutor_create

---

Field Documentation

BddEnc_ptr SATCompleteTraceExecutor::bdd_enc

BeEnc_ptr SATCompleteTraceExecutor::enc

BeFsm_ptr SATCompleteTraceExecutor::fsm

---

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

• NuSMV/code/nusmv/core/trace/exec/SATCompleteTraceExecutor_private.h
• NuSMV/code/nusmv/core/trace/exec/SATCompleteTraceExecutor.h