LogicRecognizerCore Struct Reference

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

#include <LogicRecognizerCore_private.h>

Public Member Functions
	INHERITS_FROM (LogicRecognizerBase)
Related Functions
(Note that these are not member functions.)
void	logic_recognizer_core_deinit (LogicRecognizerCore_ptr self)
	The LogicRecognizerCore class private deinitializer.
void	logic_recognizer_core_init (LogicRecognizerCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The LogicRecognizerCore class private initializer.
LogicType	logic_recognizer_core_recognize (LogicRecognizerBase_ptr self, node_ptr wff, node_ptr context)
	Returns the logic to which expression belongs.
LogicRecognizerCore_ptr	LogicRecognizerCore_create (NuSMVEnv_ptr env)
	The LogicRecognizerCore class constructor.

---

Detailed Description

Private and protected interface of class 'LogicRecognizerCore'.

Public interface of class 'LogicRecognizerCore'.

Author:

Michele Dorigatti This file can be included only by derived and friend classes

LogicRecognizerCore class definition derived from class LogicRecognizerBase Handles the core symbols

See also:

Base class LogicRecognizerBase

Author:

Michele Dorigatti

Todo:

: Missing description

Definition of the public accessor for class LogicRecognizerCore

---

Member Function Documentation

LogicRecognizerCore::INHERITS_FROM

(

LogicRecognizerBase

)

---

Friends And Related Function Documentation

void logic_recognizer_core_deinit

(

LogicRecognizerCore_ptr

self

)

[related]

The LogicRecognizerCore class private deinitializer.

The LogicRecognizerCore class private deinitializer

See also:

LogicRecognizerCore_destroy

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

The LogicRecognizerCore class private initializer.

The LogicRecognizerCore class private initializer

See also:

LogicRecognizerCore_create

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

Returns the logic to which expression belongs.

Given an expression and its context detects the logic or the expression type to which it belongs. Each recursion stops as soon as further visiting would not change the result: leaves CTL operators LTL operators

LogicRecognizerCore_ptr LogicRecognizerCore_create

(

NuSMVEnv_ptr

env

)

[related]

The LogicRecognizerCore class constructor.

AutomaticStart

The LogicRecognizerCore class constructor

See also:

LogicRecognizerCore_destroy

---

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

• NuSMV/code/nusmv/core/wff/lr/LogicRecognizerCore_private.h
• NuSMV/code/nusmv/core/wff/lr/LogicRecognizerCore.h