FlattenerCore Struct Reference

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

Public Member Functions
	INHERITS_FROM (FlattenerBase)
Related Functions
(Note that these are not member functions.)
void	flattener_core_deinit (FlattenerCore_ptr self)
	The FlattenerCore class private deinitializer.
node_ptr	flattener_core_flatten (FlattenerBase_ptr self, SymbTable_ptr symb_table, hash_ptr def_hash, node_ptr sexp, node_ptr context, MasterCompileFlattener_def_mode mode)
	Do the actual flattening.
void	flattener_core_init (FlattenerCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The FlattenerCore class private initializer.
FlattenerCore_ptr	FlattenerCore_create (const NuSMVEnv_ptr env, const char *name)
	The FlattenerCore class constructor.

Detailed Description

Private and protected interface of class 'FlattenerCore'.

Public interface of class 'FlattenerCore'.

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

FlattenerCore class definition derived from class FlattenerBase

Definition of the public accessor for class FlattenerCore

FlattenerCore::INHERITS_FROM ( FlattenerBase )

void flattener_core_deinit ( FlattenerCore_ptr self ) [related]

The FlattenerCore class private deinitializer.

The FlattenerCore class private deinitializer

node_ptr flattener_core_flatten	(	FlattenerBase_ptr	self,
		SymbTable_ptr	symb_table,
		hash_ptr	def_hash,
		node_ptr	sexp,
		node_ptr	context,
		MasterCompileFlattener_def_mode	mode
	)			`[related]`

Do the actual flattening.

The FlattenerCore class private initializer.

The FlattenerCore class private initializer

FlattenerCore_ptr FlattenerCore_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			`[related]`

The FlattenerCore class constructor.

AutomaticStart

The FlattenerCore class constructor

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