NuSMV/code/nusmv/core/utils/NodeList.h File Reference

#include "nusmv/core/node/node.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/printers/MasterPrinter.h"

Go to the source code of this file.

Defines
#define	LIST_ITER(x)   ((ListIter_ptr) (x))
#define	NODE_LIST(x)   ((NodeList_ptr) (x))
#define	NODE_LIST_CHECK_INSTANCE(x)   (nusmv_assert(NODE_LIST(x) != NODE_LIST(NULL)))
#define	NODE_LIST_FOREACH(list, iter)
Typedefs
typedef struct Link_TAG *	ListIter_ptr
typedef boolean(*	NODE_LIST_FOREACH_FUN_P )(NodeList_ptr list, ListIter_ptr iter, void *user_data)
	Used when calling method foreach.
typedef struct NodeList_TAG *	NodeList_ptr
typedef boolean(*	NodeListPred )(node_ptr element, void *arg)
	A type of a predicate function used by NodeList_search.
Functions
ListIter_ptr	ListIter_get_end (void)
	Returns the end iterator.
int	NodeList_test (NuSMVEnv_ptr env)
	Test NodeList_sort.

---

Define Documentation

#define LIST_ITER

(

x

)

((ListIter_ptr) (x))

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_LIST

(

x

)

((NodeList_ptr) (x))

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_LIST_CHECK_INSTANCE

(

x

)

(nusmv_assert(NODE_LIST(x) != NODE_LIST(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_LIST_FOREACH	(	list,
		iter		)

Value:

for (iter=NodeList_get_first_iter(list); !ListIter_is_end(iter); \
        iter=ListIter_get_next(iter))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct Link_TAG* ListIter_ptr

typedef boolean(* NODE_LIST_FOREACH_FUN_P)(NodeList_ptr list, ListIter_ptr iter, void *user_data)

Used when calling method foreach.

Must be a pointer to a user-defined function. This function gets:

• the list which method foreach iterates on
• the iterator pointing to the current element in the list
• user data, passed to method foreach

Must return true to continue iteration, false to interrupt it

typedef struct NodeList_TAG* NodeList_ptr

typedef boolean(* NodeListPred)(node_ptr element, void *arg)

A type of a predicate function used by NodeList_search.

The function should returns true iff a given element "corresponds" to 'arg'. 'arg' can be any datastructure.

---

Function Documentation

ListIter_ptr ListIter_get_end

(

void

)

Returns the end iterator.

int NodeList_test

(

NuSMVEnv_ptr

env

)

Test NodeList_sort.