EnvObject Struct Reference

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

#include <EnvObject_private.h>

Public Member Functions
	INHERITS_FROM (Object)
Data Fields
NuSMVEnv_ptr	environment
Related Functions
(Note that these are not member functions.)
void	env_object_copy_aux (const EnvObject_ptr self, EnvObject_ptr copy)
	The EnvObject class private cloner fun.
void	env_object_deinit (EnvObject_ptr self)
	The EnvObject class private deinitializer.
void	env_object_init (EnvObject_ptr self, NuSMVEnv_ptr env)
	The EnvObject class private initializer.
EnvObject_ptr	EnvObject_create (const NuSMVEnv_ptr env)
	The EnvObject class constructor.
void	EnvObject_destroy (EnvObject_ptr self)
	The EnvObject class destructor.
NuSMVEnv_ptr	EnvObject_get_environment (const EnvObject_ptr self)
	The EnvObject NuSMV environment getter.

---

Detailed Description

Private and protected interface of class 'EnvObject'.

Public interface of class 'EnvObject'.

Author:

Alessandro Mariotti This file can be included only by derived and friend classes

EnvObject class definition derived from class Object

See also:

Base class Object

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class EnvObject

---

Member Function Documentation

EnvObject::INHERITS_FROM

(

Object

)

---

Friends And Related Function Documentation

void env_object_copy_aux	(	const EnvObject_ptr	self,
		EnvObject_ptr	copy
	)			[related]

The EnvObject class private cloner fun.

The EnvObject class private cloner fun

See also:

EnvObject_create

void env_object_deinit

(

EnvObject_ptr

self

)

[related]

The EnvObject class private deinitializer.

The EnvObject class private deinitializer

See also:

EnvObject_destroy

void env_object_init	(	EnvObject_ptr	self,
		NuSMVEnv_ptr	env
	)			[related]

The EnvObject class private initializer.

The EnvObject class private initializer

See also:

EnvObject_create

EnvObject_ptr EnvObject_create

(

const NuSMVEnv_ptr

env

)

[related]

The EnvObject class constructor.

AutomaticStart

The EnvObject class constructor

See also:

EnvObject_destroy

void EnvObject_destroy

(

EnvObject_ptr

self

)

[related]

The EnvObject class destructor.

The EnvObject class destructor

See also:

EnvObject_create

NuSMVEnv_ptr EnvObject_get_environment

(

const EnvObject_ptr

self

)

[related]

The EnvObject NuSMV environment getter.

The EnvObject NuSMV environment getter

See also:

EnvObject_create

---

Field Documentation

NuSMVEnv_ptr EnvObject::environment

---

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

• NuSMV/code/nusmv/core/utils/EnvObject_private.h
• NuSMV/code/nusmv/core/utils/EnvObject.h