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

Public Attributes

Gia_Man_t * pAig
 
Gia_Man_t * pNew
 
unsigned ** ppObjs
 
unsigned ** ppStas
 
int fMiter
 
int fStopped
 
int fTree
 
int nWords
 
int nSize
 
int nObjPages
 
int nStaPages
 
int nObjs
 
int nStas
 
int iStaCur
 
Gia_PtrAre_t Root
 
Vec_Vec_t * vCiTfos
 
Vec_Vec_t * vCiLits
 
Vec_Int_t * vCubesA
 
Vec_Int_t * vCubesB
 
void * pSat
 
Vec_Int_t * vSatNumCis
 
Vec_Int_t * vSatNumCos
 
Vec_Int_t * vCofVars
 
Vec_Int_t * vAssumps
 
Gia_StaAre_t * pTarget
 
int iOutFail
 
int nChecks
 
int nEquals
 
int nCompares
 
int nRecCalls
 
int nDisjs
 
int nDisjs2
 
int nDisjs3
 
int timeAig
 
int timeCube
 

Detailed Description

Definition at line 82 of file giaEra2.c.

Member Data Documentation

◆ fMiter

int Gia_ManAre_t_::fMiter

Definition at line 91 of file giaEra2.c.

◆ fStopped

int Gia_ManAre_t_::fStopped

Definition at line 92 of file giaEra2.c.

◆ fTree

int Gia_ManAre_t_::fTree

Definition at line 93 of file giaEra2.c.

◆ iOutFail

int Gia_ManAre_t_::iOutFail

Definition at line 114 of file giaEra2.c.

◆ iStaCur

int Gia_ManAre_t_::iStaCur

Definition at line 101 of file giaEra2.c.

◆ nChecks

int Gia_ManAre_t_::nChecks

Definition at line 116 of file giaEra2.c.

◆ nCompares

int Gia_ManAre_t_::nCompares

Definition at line 118 of file giaEra2.c.

◆ nDisjs

int Gia_ManAre_t_::nDisjs

Definition at line 120 of file giaEra2.c.

◆ nDisjs2

int Gia_ManAre_t_::nDisjs2

Definition at line 121 of file giaEra2.c.

◆ nDisjs3

int Gia_ManAre_t_::nDisjs3

Definition at line 122 of file giaEra2.c.

◆ nEquals

int Gia_ManAre_t_::nEquals

Definition at line 117 of file giaEra2.c.

◆ nObjPages

int Gia_ManAre_t_::nObjPages

Definition at line 97 of file giaEra2.c.

◆ nObjs

int Gia_ManAre_t_::nObjs

Definition at line 99 of file giaEra2.c.

◆ nRecCalls

int Gia_ManAre_t_::nRecCalls

Definition at line 119 of file giaEra2.c.

◆ nSize

int Gia_ManAre_t_::nSize

Definition at line 96 of file giaEra2.c.

◆ nStaPages

int Gia_ManAre_t_::nStaPages

Definition at line 98 of file giaEra2.c.

◆ nStas

int Gia_ManAre_t_::nStas

Definition at line 100 of file giaEra2.c.

◆ nWords

int Gia_ManAre_t_::nWords

Definition at line 95 of file giaEra2.c.

◆ pAig

Gia_Man_t* Gia_ManAre_t_::pAig

Definition at line 84 of file giaEra2.c.

◆ pNew

Gia_Man_t* Gia_ManAre_t_::pNew

Definition at line 85 of file giaEra2.c.

◆ ppObjs

unsigned** Gia_ManAre_t_::ppObjs

Definition at line 86 of file giaEra2.c.

◆ ppStas

unsigned** Gia_ManAre_t_::ppStas

Definition at line 87 of file giaEra2.c.

◆ pSat

void* Gia_ManAre_t_::pSat

Definition at line 108 of file giaEra2.c.

◆ pTarget

Gia_StaAre_t* Gia_ManAre_t_::pTarget

Definition at line 113 of file giaEra2.c.

◆ Root

Gia_PtrAre_t Gia_ManAre_t_::Root

Definition at line 102 of file giaEra2.c.

◆ timeAig

int Gia_ManAre_t_::timeAig

Definition at line 124 of file giaEra2.c.

◆ timeCube

int Gia_ManAre_t_::timeCube

Definition at line 125 of file giaEra2.c.

◆ vAssumps

Vec_Int_t* Gia_ManAre_t_::vAssumps

Definition at line 112 of file giaEra2.c.

◆ vCiLits

Vec_Vec_t* Gia_ManAre_t_::vCiLits

Definition at line 104 of file giaEra2.c.

◆ vCiTfos

Vec_Vec_t* Gia_ManAre_t_::vCiTfos

Definition at line 103 of file giaEra2.c.

◆ vCofVars

Vec_Int_t* Gia_ManAre_t_::vCofVars

Definition at line 111 of file giaEra2.c.

◆ vCubesA

Vec_Int_t* Gia_ManAre_t_::vCubesA

Definition at line 105 of file giaEra2.c.

◆ vCubesB

Vec_Int_t* Gia_ManAre_t_::vCubesB

Definition at line 106 of file giaEra2.c.

◆ vSatNumCis

Vec_Int_t* Gia_ManAre_t_::vSatNumCis

Definition at line 109 of file giaEra2.c.

◆ vSatNumCos

Vec_Int_t* Gia_ManAre_t_::vSatNumCos

Definition at line 110 of file giaEra2.c.

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