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

Public Attributes

Aig_Man_tpAig
 
Vec_Wrd_tvSigns
 
Vec_Wrd_tvPiPats
 
Vec_Wrd_tvPiCare
 
int iPatCur
 
int fVerbose
 
int nPatTotal
 
int nPatSkip
 
int nPatRepeat
 

Detailed Description

Definition at line 32 of file aigPack.c.

Member Data Documentation

◆ fVerbose

int Aig_ManPack_t_::fVerbose

Definition at line 39 of file aigPack.c.

◆ iPatCur

int Aig_ManPack_t_::iPatCur

Definition at line 38 of file aigPack.c.

◆ nPatRepeat

int Aig_ManPack_t_::nPatRepeat

Definition at line 43 of file aigPack.c.

◆ nPatSkip

int Aig_ManPack_t_::nPatSkip

Definition at line 42 of file aigPack.c.

◆ nPatTotal

int Aig_ManPack_t_::nPatTotal

Definition at line 41 of file aigPack.c.

◆ pAig

Aig_Man_t* Aig_ManPack_t_::pAig

Definition at line 34 of file aigPack.c.

◆ vPiCare

Vec_Wrd_t* Aig_ManPack_t_::vPiCare

Definition at line 37 of file aigPack.c.

◆ vPiPats

Vec_Wrd_t* Aig_ManPack_t_::vPiPats

Definition at line 36 of file aigPack.c.

◆ vSigns

Vec_Wrd_t* Aig_ManPack_t_::vSigns

Definition at line 35 of file aigPack.c.


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