Collaboration diagram for bddNode:
Definition at line 42 of file bddBdd.h.
|To mark the node in garbage collection and node count. |
|Variable id. The ids of variables are multiples of 1, starting with 0! |
|Index of low son. Also used for linking unused nodes in the node array. |
|Index of high son. |
|Next node in mUniqueHash-list (0 for end of list). |