DdChildren Struct Reference

#include <cudd.h>

Collaboration diagram for DdChildren:

[legend]

Data Fields
struct DdNode *	T
struct DdNode *	E

---

Detailed Description

Definition at line 235 of file cudd.h.

---

Field Documentation

struct DdNode* DdChildren::E [read]

Definition at line 237 of file cudd.h.

struct DdNode* DdChildren::T [read]

Definition at line 236 of file cudd.h.

---

The documentation for this struct was generated from the following file:

• src/bdd/cudd/cudd.h