The two children of a non-terminal node. More...
#include <cuddInt.h>
Collaboration diagram for DdChildren:
Data Fields | |
| struct DdNode * | T |
| struct DdNode * | E |
Detailed Description
The two children of a non-terminal node.
Field Documentation
◆ E
| struct DdNode* DdChildren::E |
else (false) child
◆ T
| struct DdNode* DdChildren::T |
then (true) child
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
