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

Public Attributes

Gia_Man_t * pGia
 
Abs_Par_t * pPars
 
int nObjs
 
int nObjsAlloc
 
int nBins
 
int * pBins
 
Vta_Obj_t * pObjs
 
Vec_Int_t * vOrder
 
int nObjBits
 
unsigned nObjMask
 
Vec_Ptr_t * vFrames
 
int nWords
 
int nCexes
 
int nObjAdded
 
Vec_Int_t * vSeens
 
Vec_Bit_t * vSeenGla
 
int nSeenGla
 
int nSeenAll
 
Vec_Ptr_t * vCores
 
sat_solver2 * pSat
 
Vec_Int_t * vAddedNew
 
abctime timeSat
 
abctime timeUnsat
 
abctime timeCex
 
abctime timeOther
 

Detailed Description

Definition at line 46 of file absVta.c.

Member Data Documentation

◆ nBins

int Vta_Man_t_::nBins

Definition at line 54 of file absVta.c.

◆ nCexes

int Vta_Man_t_::nCexes

Definition at line 63 of file absVta.c.

◆ nObjAdded

int Vta_Man_t_::nObjAdded

Definition at line 64 of file absVta.c.

◆ nObjBits

int Vta_Man_t_::nObjBits

Definition at line 59 of file absVta.c.

◆ nObjMask

unsigned Vta_Man_t_::nObjMask

Definition at line 60 of file absVta.c.

◆ nObjs

int Vta_Man_t_::nObjs

Definition at line 52 of file absVta.c.

◆ nObjsAlloc

int Vta_Man_t_::nObjsAlloc

Definition at line 53 of file absVta.c.

◆ nSeenAll

int Vta_Man_t_::nSeenAll

Definition at line 68 of file absVta.c.

◆ nSeenGla

int Vta_Man_t_::nSeenGla

Definition at line 67 of file absVta.c.

◆ nWords

int Vta_Man_t_::nWords

Definition at line 62 of file absVta.c.

◆ pBins

int* Vta_Man_t_::pBins

Definition at line 55 of file absVta.c.

◆ pGia

Gia_Man_t* Vta_Man_t_::pGia

Definition at line 49 of file absVta.c.

◆ pObjs

Vta_Obj_t* Vta_Man_t_::pObjs

Definition at line 56 of file absVta.c.

◆ pPars

Abs_Par_t* Vta_Man_t_::pPars

Definition at line 50 of file absVta.c.

◆ pSat

sat_solver2* Vta_Man_t_::pSat

Definition at line 71 of file absVta.c.

◆ timeCex

abctime Vta_Man_t_::timeCex

Definition at line 76 of file absVta.c.

◆ timeOther

abctime Vta_Man_t_::timeOther

Definition at line 77 of file absVta.c.

◆ timeSat

abctime Vta_Man_t_::timeSat

Definition at line 74 of file absVta.c.

◆ timeUnsat

abctime Vta_Man_t_::timeUnsat

Definition at line 75 of file absVta.c.

◆ vAddedNew

Vec_Int_t* Vta_Man_t_::vAddedNew

Definition at line 72 of file absVta.c.

◆ vCores

Vec_Ptr_t* Vta_Man_t_::vCores

Definition at line 70 of file absVta.c.

◆ vFrames

Vec_Ptr_t* Vta_Man_t_::vFrames

Definition at line 61 of file absVta.c.

◆ vOrder

Vec_Int_t* Vta_Man_t_::vOrder

Definition at line 57 of file absVta.c.

◆ vSeenGla

Vec_Bit_t* Vta_Man_t_::vSeenGla

Definition at line 66 of file absVta.c.

◆ vSeens

Vec_Int_t* Vta_Man_t_::vSeens

Definition at line 65 of file absVta.c.

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