Bmc_Stack_ptr Struct Reference

Public interface for the stack of node_ptr. More...

#include <sbmcNodeStack.h>

Data Fields
unsigned	alloc
unsigned	first_free
node_ptr *	table

---

Detailed Description

Public interface for the stack of node_ptr.

Author:

Timo Latvala A stack of node_ptr

Todo:

Missing synopsis

Todo:

Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

unsigned Bmc_Stack_ptr::alloc

Number of slots allocated

unsigned Bmc_Stack_ptr::first_free

Number of slots occupied

node_ptr* Bmc_Stack_ptr::table

The table

---

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

• NuSMV/code/nusmv/core/bmc/sbmc/sbmcNodeStack.h