MasterLogicRecognizer Struct Reference

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

#include <MasterLogicRecognizer_private.h>

Public Member Functions
	INHERITS_FROM (MasterNodeWalker)
Data Fields
hash_ptr	expr2logic
Related Functions
(Note that these are not member functions.)
void	master_logic_recognizer_deinit (MasterLogicRecognizer_ptr self)
	The MasterLogicRecognizer class private deinitializer.
void	master_logic_recognizer_init (MasterLogicRecognizer_ptr self, NuSMVEnv_ptr env)
	The MasterLogicRecognizer class private initializer.
void	master_logic_recognizer_insert (MasterLogicRecognizer_ptr self, node_ptr expression, node_ptr context, LogicType logic)
	Insert a new association between expression and logic.
LogicType	master_logic_recognizer_lookup (MasterLogicRecognizer_ptr self, node_ptr expression, node_ptr context)
	Lookups the association for expression.
LogicType	master_logic_recognizer_recognize (MasterLogicRecognizer_ptr self, node_ptr expression, node_ptr context)
	Returns the logic to which expression belongs.
MasterLogicRecognizer_ptr	MasterLogicRecognizer_create (NuSMVEnv_ptr env)
	The MasterLogicRecognizer class constructor.
MasterLogicRecognizer_ptr	MasterLogicRecognizer_create_with_default_recognizers (NuSMVEnv_ptr env)
	Create a MLR and register to it all the default recognizers.
void	MasterLogicRecognizer_destroy (MasterLogicRecognizer_ptr self)
	The MasterLogicRecognizer class destructor.
LogicType	MasterLogicRecognizer_recognize (MasterLogicRecognizer_ptr self, node_ptr expression, node_ptr context)

---

Detailed Description

Private and protected interface of class 'MasterLogicRecognizer'.

Definition of the public accessor for class MasterLogicRecognizer.

Author:

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

MasterLogicRecognizer class definition derived from class MasterNodeWalker Handles a list of LogicRecognizers, and memoize the association between formulas and type

See also:

Base class MasterNodeWalker

---

Member Function Documentation

MasterLogicRecognizer::INHERITS_FROM

(

MasterNodeWalker

)

---

Friends And Related Function Documentation

void master_logic_recognizer_deinit

(

MasterLogicRecognizer_ptr

self

)

[related]

The MasterLogicRecognizer class private deinitializer.

The MasterLogicRecognizer class private deinitializer

See also:

MasterLogicRecognizer_destroy

void master_logic_recognizer_init	(	MasterLogicRecognizer_ptr	self,
		NuSMVEnv_ptr	env
	)			[related]

The MasterLogicRecognizer class private initializer.

The MasterLogicRecognizer class private initializer

See also:

MasterLogicRecognizer_create

void master_logic_recognizer_insert	(	MasterLogicRecognizer_ptr	self,
		node_ptr	expression,
		node_ptr	context,
		LogicType	logic
	)			[related]

Insert a new association between expression and logic.

LogicType master_logic_recognizer_lookup	(	MasterLogicRecognizer_ptr	self,
		node_ptr	expression,
		node_ptr	context
	)			[related]

Lookups the association for expression.

LogicType master_logic_recognizer_recognize	(	MasterLogicRecognizer_ptr	self,
		node_ptr	expression,
		node_ptr	context
	)			[related]

Returns the logic to which expression belongs.

internal method

MasterLogicRecognizer_ptr MasterLogicRecognizer_create

(

NuSMVEnv_ptr

env

)

[related]

The MasterLogicRecognizer class constructor.

AutomaticStart

The MasterLogicRecognizer class constructor

See also:

MasterLogicRecognizer_destroy

MasterLogicRecognizer_ptr MasterLogicRecognizer_create_with_default_recognizers

(

NuSMVEnv_ptr

env

)

[related]

Create a MLR and register to it all the default recognizers.

void MasterLogicRecognizer_destroy

(

MasterLogicRecognizer_ptr

self

)

[related]

The MasterLogicRecognizer class destructor.

The MasterLogicRecognizer class destructor

See also:

MasterLogicRecognizer_create

LogicType MasterLogicRecognizer_recognize	(	MasterLogicRecognizer_ptr	self,
		node_ptr	expression,
		node_ptr	context
	)			[related]

Todo:

---

Field Documentation

hash_ptr MasterLogicRecognizer::expr2logic

---

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

• NuSMV/code/nusmv/core/wff/lr/MasterLogicRecognizer_private.h
• NuSMV/code/nusmv/core/wff/lr/MasterLogicRecognizer.h