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

#include "nusmv/core/utils/defs.h"

Go to the source code of this file.

Data Structures
struct	Stack_ptr
	Public interface for a Stack class. More...
Defines
#define	STACK(x)   ((Stack_ptr) x)
#define	STACK_CHECK_INSTANCE(x)   ( nusmv_assert(STACK(x) != STACK(NULL)) )
#define	STACK_IS_EMPTY(self)   (self->index == 0)
#define	STACK_TOP(self)   *(self->array + self->index - 1)

---

Define Documentation

#define STACK

(

x

)

((Stack_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define STACK_CHECK_INSTANCE

(

x

)

( nusmv_assert(STACK(x) != STACK(NULL)) )

Todo:

Missing synopsis

Todo:

Missing description

#define STACK_IS_EMPTY

(

self

)

(self->index == 0)

Todo:

Missing synopsis

Todo:

Missing description

#define STACK_TOP

(

self

)

*(self->array + self->index - 1)

Todo:

Missing synopsis

Todo:

Missing description