CheckerStatement Struct Reference

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

Public Member Functions
	INHERITS_FROM (CheckerCore)
Data Fields
boolean	inside_attime
Related Functions
(Note that these are not member functions.)
void	checker_statement_deinit (CheckerStatement_ptr self)
	The CheckerStatement class private deinitializer.
void	checker_statement_init (CheckerStatement_ptr self, const NuSMVEnv_ptr env)
	The CheckerStatement class private initializer.
CheckerStatement_ptr	CheckerStatement_create (const NuSMVEnv_ptr env)
	The CheckerStatement class constructor.

Detailed Description

Private and protected interface of class 'CheckerStatement'.

Public interface of class 'CheckerStatement'.

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

CheckerStatement class definition derived from class CheckerCore

Definition of the public accessor for class CheckerStatement

CheckerStatement::INHERITS_FROM ( CheckerCore )

void checker_statement_deinit ( CheckerStatement_ptr self ) [related]

The CheckerStatement class private deinitializer.

The CheckerStatement class private deinitializer

The CheckerStatement class private initializer.

The CheckerStatement class private initializer

CheckerStatement_ptr CheckerStatement_create ( const NuSMVEnv_ptr env ) [related]

The CheckerStatement class constructor.

AutomaticStart

The CheckerStatement class constructor

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