ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ga2_Man_t_ Struct Reference
Collaboration diagram for Ga2_Man_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
Abs_Par_t * pPars
 
Vec_Ptr_t * vCnfs
 
Vec_Int_t * vIds
 
Vec_Int_t * vProofIds
 
Vec_Int_t * vAbs
 
Vec_Int_t * vValues
 
int nProofIds
 
int LimAbs
 
int LimPpi
 
int nMarked
 
int fUseNewLine
 
Rnm_Man_t * pRnm
 
Vec_Ptr_t * vId2Lit
 
sat_solver2 * pSat
 
int nSatVars
 
int nCexes
 
int nObjAdded
 
int nPdrCalls
 
int * pTable
 
int nTable
 
int nHashHit
 
int nHashMiss
 
int nHashOver
 
Vec_Int_t * vLits
 
Vec_Int_t * vIsopMem
 
char * pSopSizes
 
char ** pSops
 
abctime timeStart
 
abctime timeInit
 
abctime timeSat
 
abctime timeUnsat
 
abctime timeCex
 
abctime timeOther
 

Detailed Description

Definition at line 38 of file absGla.c.

Member Data Documentation

◆ fUseNewLine

int Ga2_Man_t_::fUseNewLine

Definition at line 54 of file absGla.c.

◆ LimAbs

int Ga2_Man_t_::LimAbs

Definition at line 51 of file absGla.c.

◆ LimPpi

int Ga2_Man_t_::LimPpi

Definition at line 52 of file absGla.c.

◆ nCexes

int Ga2_Man_t_::nCexes

Definition at line 62 of file absGla.c.

◆ nHashHit

int Ga2_Man_t_::nHashHit

Definition at line 68 of file absGla.c.

◆ nHashMiss

int Ga2_Man_t_::nHashMiss

Definition at line 69 of file absGla.c.

◆ nHashOver

int Ga2_Man_t_::nHashOver

Definition at line 70 of file absGla.c.

◆ nMarked

int Ga2_Man_t_::nMarked

Definition at line 53 of file absGla.c.

◆ nObjAdded

int Ga2_Man_t_::nObjAdded

Definition at line 63 of file absGla.c.

◆ nPdrCalls

int Ga2_Man_t_::nPdrCalls

Definition at line 64 of file absGla.c.

◆ nProofIds

int Ga2_Man_t_::nProofIds

Definition at line 50 of file absGla.c.

◆ nSatVars

int Ga2_Man_t_::nSatVars

Definition at line 61 of file absGla.c.

◆ nTable

int Ga2_Man_t_::nTable

Definition at line 67 of file absGla.c.

◆ pGia

Gia_Man_t* Ga2_Man_t_::pGia

Definition at line 41 of file absGla.c.

◆ pPars

Abs_Par_t* Ga2_Man_t_::pPars

Definition at line 42 of file absGla.c.

◆ pRnm

Rnm_Man_t* Ga2_Man_t_::pRnm

Definition at line 56 of file absGla.c.

◆ pSat

sat_solver2* Ga2_Man_t_::pSat

Definition at line 60 of file absGla.c.

◆ pSops

char ** Ga2_Man_t_::pSops

Definition at line 74 of file absGla.c.

◆ pSopSizes

char* Ga2_Man_t_::pSopSizes

Definition at line 74 of file absGla.c.

◆ pTable

int* Ga2_Man_t_::pTable

Definition at line 66 of file absGla.c.

◆ timeCex

abctime Ga2_Man_t_::timeCex

Definition at line 80 of file absGla.c.

◆ timeInit

abctime Ga2_Man_t_::timeInit

Definition at line 77 of file absGla.c.

◆ timeOther

abctime Ga2_Man_t_::timeOther

Definition at line 81 of file absGla.c.

◆ timeSat

abctime Ga2_Man_t_::timeSat

Definition at line 78 of file absGla.c.

◆ timeStart

abctime Ga2_Man_t_::timeStart

Definition at line 76 of file absGla.c.

◆ timeUnsat

abctime Ga2_Man_t_::timeUnsat

Definition at line 79 of file absGla.c.

◆ vAbs

Vec_Int_t* Ga2_Man_t_::vAbs

Definition at line 48 of file absGla.c.

◆ vCnfs

Vec_Ptr_t* Ga2_Man_t_::vCnfs

Definition at line 44 of file absGla.c.

◆ vId2Lit

Vec_Ptr_t* Ga2_Man_t_::vId2Lit

Definition at line 59 of file absGla.c.

◆ vIds

Vec_Int_t* Ga2_Man_t_::vIds

Definition at line 46 of file absGla.c.

◆ vIsopMem

Vec_Int_t* Ga2_Man_t_::vIsopMem

Definition at line 73 of file absGla.c.

◆ vLits

Vec_Int_t* Ga2_Man_t_::vLits

Definition at line 72 of file absGla.c.

◆ vProofIds

Vec_Int_t* Ga2_Man_t_::vProofIds

Definition at line 47 of file absGla.c.

◆ vValues

Vec_Int_t* Ga2_Man_t_::vValues

Definition at line 49 of file absGla.c.

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