abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
DdChildren Struct Reference

#include <cudd.h>

Data Fields

struct DdNodeT
 
struct DdNodeE
 

Detailed Description

Definition at line 272 of file cudd.h.

Field Documentation

struct DdNode* DdChildren::E

Definition at line 274 of file cudd.h.

struct DdNode* DdChildren::T

Definition at line 273 of file cudd.h.


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