CheckerPsl Struct Reference

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

#include <CheckerPsl_private.h>

Public Member Functions
	INHERITS_FROM (CheckerBase)
Related Functions
(Note that these are not member functions.)
void	checker_psl_deinit (CheckerPsl_ptr self)
	The CheckerPsl class private deinitializer.
void	checker_psl_init (CheckerPsl_ptr self, const NuSMVEnv_ptr env)
	The CheckerPsl class private initializer.
CheckerPsl_ptr	CheckerPsl_create (const NuSMVEnv_ptr env)
	The CheckerPsl class constructor.

---

Detailed Description

Private and protected interface of class 'CheckerPsl'.

Public interface of class 'CheckerPsl'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

CheckerPsl class definition derived from class CheckerBase

See also:

Base class CheckerBase

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class CheckerPsl

---

Member Function Documentation

CheckerPsl::INHERITS_FROM

(

CheckerBase

)

---

Friends And Related Function Documentation

void checker_psl_deinit

(

CheckerPsl_ptr

self

)

[related]

The CheckerPsl class private deinitializer.

The CheckerPsl class private deinitializer

See also:

CheckerPsl_destroy

void checker_psl_init	(	CheckerPsl_ptr	self,
		const NuSMVEnv_ptr	env
	)			[related]

The CheckerPsl class private initializer.

The CheckerPsl class private initializer

See also:

CheckerPsl_create

CheckerPsl_ptr CheckerPsl_create

(

const NuSMVEnv_ptr

env

)

[related]

The CheckerPsl class constructor.

AutomaticStart

The CheckerPsl class constructor

See also:

NodeWalker_destroy

---

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

• NuSMV/code/nusmv/core/compile/type_checking/checkers/CheckerPsl_private.h
• NuSMV/code/nusmv/core/compile/type_checking/checkers/CheckerPsl.h