CheckerCore Struct Reference

CheckerCore class definition derived from class CheckerBase. More...

#include <CheckerCore_private.h>

Public Member Functions
	INHERITS_FROM (CheckerBase)
Related Functions
(Note that these are not member functions.)
void	checker_core_deinit (CheckerCore_ptr self)
	The CheckerCore class private deinitializer.
void	checker_core_init (CheckerCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The CheckerCore class private initializer.
CheckerCore_ptr	CheckerCore_create (const NuSMVEnv_ptr env)
	The CheckerCore class constructor.

---

Detailed Description

CheckerCore class definition derived from class CheckerBase.

Public interface of class 'CheckerCore'.

See also:

Base class CheckerBase

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class CheckerCore

---

Member Function Documentation

CheckerCore::INHERITS_FROM

(

CheckerBase

)

---

Friends And Related Function Documentation

void checker_core_deinit

(

CheckerCore_ptr

self

)

[related]

The CheckerCore class private deinitializer.

The CheckerCore class private deinitializer

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

The CheckerCore class private initializer.

The CheckerCore class private initializer

See also:

CheckerCore_create

CheckerCore_ptr CheckerCore_create

(

const NuSMVEnv_ptr

env

)

[related]

The CheckerCore class constructor.

AutomaticStart

The CheckerCore 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/CheckerCore_private.h
• NuSMV/code/nusmv/core/compile/type_checking/checkers/CheckerCore.h