DdChildren Struct Reference

#include <cudd.h>

Public Attributes
struct DdNode *	T
struct DdNode *	E

Detailed Description

Definition at line 264 of file cudd.h.

Member Data Documentation

E

struct DdNode* DdChildren::E

Definition at line 266 of file cudd.h.

T

struct DdNode* DdChildren::T

Definition at line 265 of file cudd.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/CUDD/cudd.h