NuSMV/code/nusmv/core/compile/flattening/MasterCompileFlattener_private.h File Reference

#include "nusmv/core/compile/flattening/MasterCompileFlattener.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	MasterCompileFlattener
	Private and protected interface of class 'MasterCompileFlattener'. More...
Defines
#define	MASTER_COMPILE_FLATTENER_BUILDING_FLAT_BODY   (node_ptr)-11
	Body of define in evaluation.

---

Define Documentation

#define MASTER_COMPILE_FLATTENER_BUILDING_FLAT_BODY   (node_ptr)-11

Body of define in evaluation.

Indicates that the body of a define is under the flattening, it is usde to discover possible recursive definitions.