DependencyCore Struct Reference

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

#include <DependencyCore_private.h>

Public Member Functions
	INHERITS_FROM (DependencyBase)
Related Functions
(Note that these are not member functions.)
void	dependency_core_deinit (DependencyCore_ptr self)
	The DependencyCore class private deinitializer.
void	dependency_core_init (DependencyCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The DependencyCore class private initializer.
DependencyCore_ptr	DependencyCore_create (const NuSMVEnv_ptr env, const char *name)
	The DependencyCore class constructor.

---

Detailed Description

Private and protected interface of class 'DependencyCore'.

Public interface of class 'DependencyCore'.

Author:

Sergio Mover This file can be included only by derived and friend classes

DependencyCore class definition derived from class DependencyBase

See also:

Base class DependencyBase

Author:

Sergio Mover

Todo:

: Missing description

Definition of the public accessor for class DependencyCore

---

Member Function Documentation

DependencyCore::INHERITS_FROM

(

DependencyBase

)

---

Friends And Related Function Documentation

void dependency_core_deinit

(

DependencyCore_ptr

self

)

[related]

The DependencyCore class private deinitializer.

The DependencyCore class private deinitializer

See also:

DependencyCore_destroy

void dependency_core_init	(	DependencyCore_ptr	self,
		const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num
	)			[related]

The DependencyCore class private initializer.

The DependencyCore class private initializer

See also:

DependencyCore_create

DependencyCore_ptr DependencyCore_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			[related]

The DependencyCore class constructor.

AutomaticStart

The DependencyCore class constructor

See also:

DependencyCore_destroy

---

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

• NuSMV/code/nusmv/core/compile/dependency/DependencyCore_private.h
• NuSMV/code/nusmv/core/compile/dependency/DependencyCore.h