Stack_ptr Struct Reference

Public interface for a Stack class. More...

#include <Stack.h>

Data Fields
size_t	allocated
void **	array
size_t	index

---

Detailed Description

Public interface for a Stack class.

Author:

Alessandro Mariotti See Stack.c for the description.

Implementation of Stack class

---

Field Documentation

size_t Stack_ptr::allocated

void** Stack_ptr::array

size_t Stack_ptr::index

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/utils/Stack.h