traventry Struct Reference

Collaboration diagram for traventry:

[legend]

Data Fields
int	nEdges
DdNode *	bSum

---

Detailed Description

Definition at line 52 of file extraBddCas.c.

---

Field Documentation

DdNode* traventry::bSum

Definition at line 55 of file extraBddCas.c.

int traventry::nEdges

Definition at line 54 of file extraBddCas.c.

---

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

• src/misc/extra/extraBddCas.c