bddGraphNode Struct Reference

#include <bddBdd.h>

Collaboration diagram for bddGraphNode:

[legend]

---

Detailed Description

Node for BDD output graph representation.

Only for output via getGraph().

Definition at line 80 of file bddBdd.h.

Data Fields
unsigned	id
unsigned	var
unsigned	low
unsigned	high

---

Field Documentation

unsigned bddGraphNode::id

Definition at line 82 of file bddBdd.h.

Referenced by bddBdd::getGraph_().

unsigned bddGraphNode::var

Definition at line 83 of file bddBdd.h.

Referenced by bddBdd::getGraph_().

unsigned bddGraphNode::low

Definition at line 84 of file bddBdd.h.

Referenced by bddBdd::getGraph_().

unsigned bddGraphNode::high

Definition at line 85 of file bddBdd.h.

Referenced by bddBdd::getGraph_().

---

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

• src/bddBdd.h

---