NuSMV/code/nusmv/core/node/NodeMgr.h File Reference

#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Data Structures
struct	node_ptr
	The node data structure. More...
union	node_val
	Possible value that a node can assume. More...
Defines
#define	CLOSED_NODE   (node_ptr)(-2)
#define	cons(mgr, x, y)   NodeMgr_cons(mgr, x, y)
#define	FAILURE_NODE   ((node_ptr)(-1))
#define	find_atom(mgr, n)   NodeMgr_find_atom(mgr, n)
#define	find_node(mgr, t, l, r)   NodeMgr_find_node(mgr, t, l, r)
#define	free_node(mgr, n)   NodeMgr_free_node(mgr, n)
#define	new_lined_node(mgr, t, l, r, lineno)   NodeMgr_new_lined_node(mgr, t, l, r, lineno)
#define	new_node(mgr, t, l, r)   NodeMgr_new_node(mgr, t, l, r)
#define	Nil   ((node_ptr)0)
	Public interface of class 'NodeMgr'.
#define	NODE_MGR(self)   ((NodeMgr_ptr) self)
	To cast and check instances of class NodeMgr.
#define	NODE_MGR_CHECK_INSTANCE(self)   (nusmv_assert(NODE_MGR(self) != NODE_MGR(NULL)))
#define	NODEMGR_ASSERT_IS_NODE_NORMALIZED(nodemgr, node)   (nusmv_assert(node == find_atom(nodemgr, node)))
	required
Typedefs
typedef boolean(*	BPFN )(node_ptr)
typedef int(*	custom_print_node_t )(out_func_t, FILE *, node_ptr, int *, char **, int *, int *, int *)
typedef int(*	custom_print_sexp_t )(FILE *, node_ptr)
typedef struct NodeMgr_TAG *	NodeMgr_ptr
typedef node_ptr(*	NPFN )(node_ptr)
typedef node_ptr(*	NPFNN )(node_ptr, node_ptr)
typedef int(*	out_func_t )(void *, char *)
typedef void(*	VPFN )(node_ptr)

---

Define Documentation

#define CLOSED_NODE   (node_ptr)(-2)

Todo:

Missing synopsis

Todo:

Missing description

#define cons	(	mgr,
		x,
		y		)	NodeMgr_cons(mgr, x, y)

Todo:

Missing synopsis

Todo:

Missing description

#define FAILURE_NODE   ((node_ptr)(-1))

Todo:

Missing synopsis

Todo:

Missing description

#define find_atom	(	mgr,
		n		)	NodeMgr_find_atom(mgr, n)

Todo:

Missing synopsis

Todo:

Missing description

#define find_node	(	mgr,
		t,
		l,
		r		)	NodeMgr_find_node(mgr, t, l, r)

Todo:

Missing synopsis

Todo:

Missing description

#define free_node	(	mgr,
		n		)	NodeMgr_free_node(mgr, n)

Todo:

Missing synopsis

Todo:

Missing description

#define new_lined_node	(	mgr,
		t,
		l,
		r,
		lineno		)	NodeMgr_new_lined_node(mgr, t, l, r, lineno)

Todo:

Missing synopsis

Todo:

Missing description

#define new_node	(	mgr,
		t,
		l,
		r		)	NodeMgr_new_node(mgr, t, l, r)

Todo:

Missing synopsis

Todo:

Missing description

#define Nil   ((node_ptr)0)

Public interface of class 'NodeMgr'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_MGR

(

self

)

((NodeMgr_ptr) self)

To cast and check instances of class NodeMgr.

These macros must be used respectively to cast and to check instances of class NodeMgr

#define NODE_MGR_CHECK_INSTANCE

(

self

)

(nusmv_assert(NODE_MGR(self) != NODE_MGR(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define NODEMGR_ASSERT_IS_NODE_NORMALIZED	(	nodemgr,
		node		)	(nusmv_assert(node == find_atom(nodemgr, node)))

required

optional

required

See also:

optional

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef boolean(* BPFN)(node_ptr)

Todo:

Missing synopsis

Todo:

Missing description

typedef int(* custom_print_node_t)(out_func_t, FILE *, node_ptr, int *, char **, int *, int *, int *)

typedef int(* custom_print_sexp_t)(FILE *, node_ptr)

Todo:

Missing synopsis

Todo:

Missing description

typedef struct NodeMgr_TAG* NodeMgr_ptr

typedef node_ptr(* NPFN)(node_ptr)

Todo:

Missing synopsis

Todo:

Missing description

typedef node_ptr(* NPFNN)(node_ptr, node_ptr)

typedef int(* out_func_t)(void *, char *)

typedef void(* VPFN)(node_ptr)

Todo:

Missing synopsis

Todo:

Missing description