DependencyPsl Struct Reference

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

#include <DependencyPsl_private.h>

Public Member Functions
	INHERITS_FROM (DependencyBase)
Related Functions
(Note that these are not member functions.)
void	dependency_psl_deinit (DependencyPsl_ptr self)
	The DependencyPsl class private deinitializer.
void	dependency_psl_init (DependencyPsl_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The DependencyPsl class private initializer.
DependencyPsl_ptr	DependencyPsl_create (const NuSMVEnv_ptr env, const char *name)
	The DependencyPsl class constructor.

---

Detailed Description

Private and protected interface of class 'DependencyPsl'.

Public interface of class 'DependencyPsl'.

Author:

Sergio Mover , split in Psl Rade Rudic This file can be included only by derived and friend classes

DependencyPsl class definition derived from class DependencyBase

See also:

Base class DependencyBase

Author:

Sergio Mover , split in Psl Rade Rudic

Todo:

: Missing description

Definition of the public accessor for class DependencyPsl

---

Member Function Documentation

DependencyPsl::INHERITS_FROM

(

DependencyBase

)

---

Friends And Related Function Documentation

void dependency_psl_deinit

(

DependencyPsl_ptr

self

)

[related]

The DependencyPsl class private deinitializer.

The DependencyPsl class private deinitializer

See also:

DependencyPsl_destroy

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

The DependencyPsl class private initializer.

The DependencyPsl class private initializer

See also:

DependencyPsl_create

DependencyPsl_ptr DependencyPsl_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			[related]

The DependencyPsl class constructor.

AutomaticStart

The DependencyPsl class constructor

See also:

DependencyPsl_destroy

---

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

• NuSMV/code/nusmv/core/compile/dependency/DependencyPsl_private.h
• NuSMV/code/nusmv/core/compile/dependency/DependencyPsl.h