NuSMV/code/nusmv/core/sexp/SexpInliner.h File Reference

#include "nusmv/core/wff/ExprMgr.h"
#include "nusmv/core/compile/symb_table/SymbTable.h"
#include "nusmv/core/set/set.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Defines
#define	INLINE_RES(x)   ((InlineRes_ptr) x)
#define	INLINE_RES_CHECK_INSTANCE(x)   (nusmv_assert(INLINE_RES(x) != INLINE_RES(NULL)))
#define	SEXP_INLINER(x)   ((SexpInliner_ptr) x)
#define	SEXP_INLINER_CHECK_INSTANCE(x)   (nusmv_assert(SEXP_INLINER(x) != SEXP_INLINER(NULL)))
Typedefs
typedef struct InlineRes_TAG *	InlineRes_ptr
typedef struct SexpInliner_TAG *	SexpInliner_ptr

---

Define Documentation

#define INLINE_RES

(

x

)

((InlineRes_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define INLINE_RES_CHECK_INSTANCE

(

x

)

(nusmv_assert(INLINE_RES(x) != INLINE_RES(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define SEXP_INLINER

(

x

)

((SexpInliner_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define SEXP_INLINER_CHECK_INSTANCE

(

x

)

(nusmv_assert(SEXP_INLINER(x) != SEXP_INLINER(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct InlineRes_TAG* InlineRes_ptr

typedef struct SexpInliner_TAG* SexpInliner_ptr