_HashEntry_cof Struct Reference

Public Attributes
unsigned	Sign
DdNode *	Arg1

Detailed Description

Definition at line 38 of file extraBddCas.c.

Member Data Documentation

Arg1

DdNode* _HashEntry_cof::Arg1

Definition at line 41 of file extraBddCas.c.

Sign

unsigned _HashEntry_cof::Sign

Definition at line 40 of file extraBddCas.c.

---

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

• src/bdd/extrab/extraBddCas.c