
Public Attributes | |
| word * | pTruth |
| int | nVars |
| int | nGVars |
| int | nGroups |
| unsigned | uPhase |
| int | fPhased |
| char | pPerm [16] |
| char | pPermT [16] |
| char | pPermTRev [16] |
| signed char | pPermDir [16] |
| TiedGroup | pGroup [16] |
| char | symPhase [16] |
| signed char | symLink [17] |
| int | nAlgorithm |
| char | pFGrps [16] |
| Vec_Int_t * | vPhase |
Definition at line 1472 of file dauCanon.c.
| int Abc_TgMan_t_::fPhased |
Definition at line 1479 of file dauCanon.c.
| int Abc_TgMan_t_::nAlgorithm |
Definition at line 1489 of file dauCanon.c.
| int Abc_TgMan_t_::nGroups |
Definition at line 1477 of file dauCanon.c.
| int Abc_TgMan_t_::nGVars |
Definition at line 1476 of file dauCanon.c.
| int Abc_TgMan_t_::nVars |
Definition at line 1475 of file dauCanon.c.
| char Abc_TgMan_t_::pFGrps[16] |
Definition at line 1490 of file dauCanon.c.
| TiedGroup Abc_TgMan_t_::pGroup[16] |
Definition at line 1484 of file dauCanon.c.
| char Abc_TgMan_t_::pPerm[16] |
Definition at line 1480 of file dauCanon.c.
| signed char Abc_TgMan_t_::pPermDir[16] |
Definition at line 1483 of file dauCanon.c.
| char Abc_TgMan_t_::pPermT[16] |
Definition at line 1481 of file dauCanon.c.
| char Abc_TgMan_t_::pPermTRev[16] |
Definition at line 1482 of file dauCanon.c.
| word* Abc_TgMan_t_::pTruth |
Definition at line 1474 of file dauCanon.c.
| signed char Abc_TgMan_t_::symLink[17] |
Definition at line 1487 of file dauCanon.c.
| char Abc_TgMan_t_::symPhase[16] |
Definition at line 1486 of file dauCanon.c.
| unsigned Abc_TgMan_t_::uPhase |
Definition at line 1478 of file dauCanon.c.
| Vec_Int_t* Abc_TgMan_t_::vPhase |
Definition at line 1491 of file dauCanon.c.