traventry Struct Reference

Public Attributes
int	nEdges
DdNode *	bSum

Detailed Description

Definition at line 55 of file extraBddCas.c.

Member Data Documentation

bSum

DdNode* traventry::bSum

Definition at line 58 of file extraBddCas.c.

nEdges

int traventry::nEdges

Definition at line 57 of file extraBddCas.c.

---

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

• src/bdd/extrab/extraBddCas.c