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

Public Attributes

Tas_Par_t Pars
 
Gia_Man_t * pAig
 
Tas_Que_t pProp
 
Tas_Que_t pJust
 
Tas_Que_t pClauses
 
Gia_Obj_t ** pIter
 
Vec_Int_t * vLevReas
 
Vec_Int_t * vModel
 
Vec_Ptr_t * vTemp
 
Tas_Sto_t pStore
 
int * pWatches
 
Vec_Int_t * vWatchLits
 
int nClauses
 
float * pActivity
 
Vec_Int_t * vActiveVars
 
int nSatUnsat
 
int nSatSat
 
int nSatUndec
 
int nSatTotal
 
int nConfUnsat
 
int nConfSat
 
int nConfUndec
 
abctime timeSatUnsat
 
abctime timeSatSat
 
abctime timeSatUndec
 
abctime timeTotal
 
Tas_Sto_t * pVars
 
Tas_Sto_t * pClauses
 
int nConfTotal
 
clock_t timeSatUnsat
 
clock_t timeSatSat
 
clock_t timeSatUndec
 
clock_t timeTotal
 

Detailed Description

Definition at line 82 of file giaCTas.c.

Member Data Documentation

◆ nClauses

int Tas_Man_t_::nClauses

Definition at line 97 of file giaCTas.c.

◆ nConfSat

int Tas_Man_t_::nConfSat

Definition at line 108 of file giaCTas.c.

◆ nConfTotal

int Tas_Man_t_::nConfTotal

Definition at line 116 of file giaCTas2.c.

◆ nConfUndec

int Tas_Man_t_::nConfUndec

Definition at line 109 of file giaCTas.c.

◆ nConfUnsat

int Tas_Man_t_::nConfUnsat

Definition at line 107 of file giaCTas.c.

◆ nSatSat

int Tas_Man_t_::nSatSat

Definition at line 103 of file giaCTas.c.

◆ nSatTotal

int Tas_Man_t_::nSatTotal

Definition at line 105 of file giaCTas.c.

◆ nSatUndec

int Tas_Man_t_::nSatUndec

Definition at line 104 of file giaCTas.c.

◆ nSatUnsat

int Tas_Man_t_::nSatUnsat

Definition at line 102 of file giaCTas.c.

◆ pActivity

float* Tas_Man_t_::pActivity

Definition at line 99 of file giaCTas.c.

◆ pAig

Gia_Man_t * Tas_Man_t_::pAig

Definition at line 85 of file giaCTas.c.

◆ Pars

Tas_Par_t Tas_Man_t_::Pars

Definition at line 84 of file giaCTas.c.

◆ pClauses [1/2]

Tas_Que_t Tas_Man_t_::pClauses

Definition at line 88 of file giaCTas.c.

◆ pClauses [2/2]

Tas_Sto_t* Tas_Man_t_::pClauses

Definition at line 101 of file giaCTas2.c.

◆ pIter

Gia_Obj_t** Tas_Man_t_::pIter

Definition at line 89 of file giaCTas.c.

◆ pJust

Tas_Que_t Tas_Man_t_::pJust

Definition at line 87 of file giaCTas.c.

◆ pProp

Tas_Que_t Tas_Man_t_::pProp

Definition at line 86 of file giaCTas.c.

◆ pStore

Tas_Sto_t Tas_Man_t_::pStore

Definition at line 94 of file giaCTas.c.

◆ pVars

Tas_Sto_t* Tas_Man_t_::pVars

Definition at line 100 of file giaCTas2.c.

◆ pWatches

int* Tas_Man_t_::pWatches

Definition at line 95 of file giaCTas.c.

◆ timeSatSat [1/2]

abctime Tas_Man_t_::timeSatSat

Definition at line 112 of file giaCTas.c.

◆ timeSatSat [2/2]

clock_t Tas_Man_t_::timeSatSat

Definition at line 119 of file giaCTas2.c.

◆ timeSatUndec [1/2]

abctime Tas_Man_t_::timeSatUndec

Definition at line 113 of file giaCTas.c.

◆ timeSatUndec [2/2]

clock_t Tas_Man_t_::timeSatUndec

Definition at line 120 of file giaCTas2.c.

◆ timeSatUnsat [1/2]

abctime Tas_Man_t_::timeSatUnsat

Definition at line 111 of file giaCTas.c.

◆ timeSatUnsat [2/2]

clock_t Tas_Man_t_::timeSatUnsat

Definition at line 118 of file giaCTas2.c.

◆ timeTotal [1/2]

abctime Tas_Man_t_::timeTotal

Definition at line 114 of file giaCTas.c.

◆ timeTotal [2/2]

clock_t Tas_Man_t_::timeTotal

Definition at line 121 of file giaCTas2.c.

◆ vActiveVars

Vec_Int_t* Tas_Man_t_::vActiveVars

Definition at line 100 of file giaCTas.c.

◆ vLevReas

Vec_Int_t* Tas_Man_t_::vLevReas

Definition at line 90 of file giaCTas.c.

◆ vModel

Vec_Int_t * Tas_Man_t_::vModel

Definition at line 91 of file giaCTas.c.

◆ vTemp

Vec_Ptr_t * Tas_Man_t_::vTemp

Definition at line 92 of file giaCTas.c.

◆ vWatchLits

Vec_Int_t* Tas_Man_t_::vWatchLits

Definition at line 96 of file giaCTas.c.

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