_HashEntry_mint Struct Reference

Public Attributes
DdNode *	Arg1
unsigned	Arg2
unsigned	Res

Detailed Description

Definition at line 47 of file extraBddCas.c.

Member Data Documentation

Arg1

DdNode* _HashEntry_mint::Arg1

Definition at line 49 of file extraBddCas.c.

Arg2

unsigned _HashEntry_mint::Arg2

Definition at line 50 of file extraBddCas.c.

Res

unsigned _HashEntry_mint::Res

Definition at line 51 of file extraBddCas.c.

---

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

• src/bdd/extrab/extraBddCas.c