DdChildren Struct Reference

The two children of a non-terminal node. More...

#include <cuddInt.h>

Collaboration diagram for DdChildren:
[legend]

Data Fields

struct DdNodeT
struct DdNodeE

Detailed Description

The two children of a non-terminal node.


Field Documentation

struct DdNode* DdChildren::E [read]

else (false) child

struct DdNode* DdChildren::T [read]

then (true) child


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1