#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 |