NuSMV/code/nusmv/core/wff/lr/MasterLogicRecognizer_private.h File Reference

#include "nusmv/core/wff/lr/MasterLogicRecognizer.h"
#include "nusmv/core/node/MasterNodeWalker.h"
#include "nusmv/core/node/MasterNodeWalker_private.h"
#include "nusmv/core/utils/defs.h"
#include "nusmv/core/utils/assoc.h"

Go to the source code of this file.

Data Structures
struct	MasterLogicRecognizer
	Private and protected interface of class 'MasterLogicRecognizer'. More...
Functions
LogicType	master_logic_recognizer_merge (MasterLogicRecognizer_ptr master, LogicType left, LogicType right)
	Given two LogicType returns the more general one.

---

Function Documentation

LogicType master_logic_recognizer_merge	(	MasterLogicRecognizer_ptr	master,
		LogicType	left,
		LogicType	right
	)

Given two LogicType returns the more general one.

Non compatible LogicType are not allowed