LogicRecognizerBase Struct Reference

LogicRecognizerBase class definition derived from class NodeWalker. More...

Public Member Functions
	INHERITS_FROM (NodeWalker)
Data Fields
LogicType(*	recognize )(LogicRecognizerBase_ptr self, node_ptr wff, node_ptr context)
Related Functions
(Note that these are not member functions.)
void	logic_recognizer_base_deinit (LogicRecognizerBase_ptr self)
	The LogicRecognizerBase class private deinitializer.
void	logic_recognizer_base_init (LogicRecognizerBase_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The LogicRecognizerBase class private initializer.
LogicType	logic_recognizer_base_recognize (LogicRecognizerBase_ptr self, node_ptr wff, node_ptr context)
	Returns the logic to which expression belongs.
LogicType	LogicRecognizerBase_recognize (LogicRecognizerBase_ptr self, node_ptr wff, node_ptr context)
	Returns the logic to which expression belongs.

Detailed Description

LogicRecognizerBase class definition derived from class NodeWalker.

Public interface of class 'LogicRecognizerBase'.

Base class for the walkers that detects the logic to which a wff belong

Definition of the public accessor for class LogicRecognizerBase

LogicRecognizerBase::INHERITS_FROM ( NodeWalker )

void logic_recognizer_base_deinit ( LogicRecognizerBase_ptr self ) [related]

The LogicRecognizerBase class private deinitializer.

The LogicRecognizerBase class private deinitializer

void logic_recognizer_base_init	(	LogicRecognizerBase_ptr	self,
		const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num
	)			`[related]`

The LogicRecognizerBase class private initializer.

The LogicRecognizerBase class private initializer

LogicType logic_recognizer_base_recognize	(	LogicRecognizerBase_ptr	self,
		node_ptr	wff,
		node_ptr	context
	)			`[related]`

Returns the logic to which expression belongs.

Pure virtual method, must be implemented

LogicType LogicRecognizerBase_recognize	(	LogicRecognizerBase_ptr	self,
		node_ptr	wff,
		node_ptr	context
	)			`[related]`

Returns the logic to which expression belongs.

AutomaticStart

Given an expression and its context detects the logic or the expression type to which it belongs.

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