YAP 7.1.0
Public Attributes | List of all members
DdChildren

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

#include <cuddSupport.h>

Public Attributes

struct DdNode * T
 then (true) child More...
 
struct DdNode * E
 else (false) child More...
 

Detailed Description

The two children of a non-terminal node.

Definition at line 45 of file cuddSupport.h.

Member Data Documentation

◆ E

struct DdNode* E

else (false) child

Definition at line 47 of file cuddSupport.h.

◆ T

struct DdNode* T

then (true) child

Definition at line 46 of file cuddSupport.h.

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