ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Abc_TgMan_t_ Struct Reference
Collaboration diagram for Abc_TgMan_t_:

Public Attributes

wordpTruth
 
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_tvPhase
 

Detailed Description

Definition at line 1472 of file dauCanon.c.

Member Data Documentation

◆ fPhased

int Abc_TgMan_t_::fPhased

Definition at line 1479 of file dauCanon.c.

◆ nAlgorithm

int Abc_TgMan_t_::nAlgorithm

Definition at line 1489 of file dauCanon.c.

◆ nGroups

int Abc_TgMan_t_::nGroups

Definition at line 1477 of file dauCanon.c.

◆ nGVars

int Abc_TgMan_t_::nGVars

Definition at line 1476 of file dauCanon.c.

◆ nVars

int Abc_TgMan_t_::nVars

Definition at line 1475 of file dauCanon.c.

◆ pFGrps

char Abc_TgMan_t_::pFGrps[16]

Definition at line 1490 of file dauCanon.c.

◆ pGroup

TiedGroup Abc_TgMan_t_::pGroup[16]

Definition at line 1484 of file dauCanon.c.

◆ pPerm

char Abc_TgMan_t_::pPerm[16]

Definition at line 1480 of file dauCanon.c.

◆ pPermDir

signed char Abc_TgMan_t_::pPermDir[16]

Definition at line 1483 of file dauCanon.c.

◆ pPermT

char Abc_TgMan_t_::pPermT[16]

Definition at line 1481 of file dauCanon.c.

◆ pPermTRev

char Abc_TgMan_t_::pPermTRev[16]

Definition at line 1482 of file dauCanon.c.

◆ pTruth

word* Abc_TgMan_t_::pTruth

Definition at line 1474 of file dauCanon.c.

◆ symLink

signed char Abc_TgMan_t_::symLink[17]

Definition at line 1487 of file dauCanon.c.

◆ symPhase

char Abc_TgMan_t_::symPhase[16]

Definition at line 1486 of file dauCanon.c.

◆ uPhase

unsigned Abc_TgMan_t_::uPhase

Definition at line 1478 of file dauCanon.c.

◆ vPhase

Vec_Int_t* Abc_TgMan_t_::vPhase

Definition at line 1491 of file dauCanon.c.


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