#include <bddint.h>

Data Fields | |
| long | num_children |
| struct block_ ** | children |
| int | reorderable |
| long | first_index |
| long | last_index |
| int | used |
| int | size_index |
| struct block_ * | next |
| struct block_ * | prev |
| segment | seg |
Definition at line 380 of file bddint.h.
struct block_** block_::children [read] |
| long block_::first_index |
| long block_::last_index |
struct block_* block_::next [read] |
| long block_::num_children |
struct block_* block_::prev [read] |
| int block_::used |
1.6.1