#include "nusmv/core/node/node.h"Go to the source code of this file.
Data Structures | |
| struct | Bmc_Stack_ptr |
| Public interface for the stack of node_ptr. More... | |
Functions | |
| void | Bmc_Stack_delete (Bmc_Stack_ptr stack) |
| Delete the stack. | |
| Bmc_Stack_ptr | Bmc_Stack_new_stack (const NuSMVEnv_ptr env) |
| Create a new stack. | |
| node_ptr | Bmc_Stack_pop (Bmc_Stack_ptr) |
| Pop an element from the stack. | |
| void | Bmc_Stack_push (Bmc_Stack_ptr, node_ptr) |
| Push a node unto the stack. | |
| unsigned | Bmc_Stack_size (Bmc_Stack_ptr stack) |
| Return the number of occupied slots. | |
| node_ptr | Bmc_Stack_top (Bmc_Stack_ptr stack) |
| Return the top element of the stack. | |
| void Bmc_Stack_delete | ( | Bmc_Stack_ptr | stack | ) |
Delete the stack.
Delete the stack
None
| Bmc_Stack_ptr Bmc_Stack_new_stack | ( | const NuSMVEnv_ptr | env | ) |
Create a new stack.
AutomaticStart
Create a new stack
None
| node_ptr Bmc_Stack_pop | ( | Bmc_Stack_ptr | ) |
Pop an element from the stack.
Pop an element from the stack
None
| void Bmc_Stack_push | ( | Bmc_Stack_ptr | , | |
| node_ptr | ||||
| ) |
| unsigned Bmc_Stack_size | ( | Bmc_Stack_ptr | stack | ) |
Return the number of occupied slots.
Return the number of occupied slots
None
| node_ptr Bmc_Stack_top | ( | Bmc_Stack_ptr | stack | ) |
Return the top element of the stack.
Return the top element of the stack
None
1.6.1