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

#include "nusmv/core/compile/flattening/FlattenerBase.h"
#include "nusmv/core/node/NodeWalker.h"
#include "nusmv/core/node/NodeWalker_private.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/defs.h"

Go to the source code of this file.

Data Structures
struct	FlattenerBase
	Private and protected interface of class 'FlattenerBase'. More...
Defines
#define	_THROW(sexp, symb_table, def_hash, context, mode)
	Short way of calling flattener_base_throw_flatten_node.

---

Define Documentation

#define _THROW	(	sexp,
		symb_table,
		def_hash,
		context,
		mode		)

Value:

flattener_base_throw_flatten(FLATTENER_BASE(self), symb_table, def_hash,   \
                               sexp, context, mode)

Short way of calling flattener_base_throw_flatten_node.

Use this macro to recursively recall the flatten function