SimulateState Struct Reference

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

#include <SimulateState_private.h>

Public Member Functions
	INHERITS_FROM (Object)
Data Fields
bdd_ptr	bdd
DDMgr_ptr	dd_mgr
TraceLabel	trace_label
Related Functions
(Note that these are not member functions.)
void	simulate_state_deinit (SimulateState_ptr self)
	The SimulateState class private deinitializer.
SimulateState_ptr	SimulateState_create (DDMgr_ptr const dd_mgr, bdd_ptr const bdd, TraceLabel const trace_label)
	The SimulateState class constructor.
void	SimulateState_destroy (SimulateState_ptr self)
	The SimulateState class destructor.

---

Detailed Description

Private and protected interface of class 'SimulateState'.

Public interface of class 'SimulateState'.

Author:

Michele Dorigatti This file can be included only by derived and friend classes

SimulateState class definition derived from class Object

See also:

Base class Object

Author:

Michele Dorigatti

Todo:

: Missing description

Definition of the public accessor for class SimulateState

---

Member Function Documentation

SimulateState::INHERITS_FROM

(

Object

)

---

Friends And Related Function Documentation

void simulate_state_deinit

(

SimulateState_ptr

self

)

[related]

The SimulateState class private deinitializer.

The SimulateState class private deinitializer

See also:

SimulateState_destroy

SimulateState_ptr SimulateState_create	(	DDMgr_ptr const	dd_mgr,
		bdd_ptr const	bdd,
		TraceLabel const	trace_label
	)			[related]

The SimulateState class constructor.

AutomaticStart

The SimulateState class constructor

See also:

SimulateState_destroy

void SimulateState_destroy

(

SimulateState_ptr

self

)

[related]

The SimulateState class destructor.

The SimulateState class destructor

See also:

SimulateState_create

---

Field Documentation

bdd_ptr SimulateState::bdd

DDMgr_ptr SimulateState::dd_mgr

TraceLabel SimulateState::trace_label

---

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

• NuSMV/code/nusmv/core/simulate/SimulateState_private.h
• NuSMV/code/nusmv/core/simulate/SimulateState.h