traventry Struct Reference

Data Fields
int	nEdges
DdNode *	bSum

Detailed Description

Definition at line 55 of file extraBddCas.c.

Field Documentation

DdNode* traventry::bSum

Definition at line 58 of file extraBddCas.c.

int traventry::nEdges

Definition at line 57 of file extraBddCas.c.

---

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

• extraBddCas.c