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

Public Attributes

Cbs_Par_t Pars
 
Gia_Man_t * pAig
 
Cbs_Que_t pProp
 
Cbs_Que_t pJust
 
Cbs_Que_t pClauses
 
Gia_Obj_t ** pIter
 
Vec_Int_t * vLevReas
 
Vec_Int_t * vModel
 
Vec_Ptr_t * vTemp
 
int nSatUnsat
 
int nSatSat
 
int nSatUndec
 
int nSatTotal
 
int nConfUnsat
 
int nConfSat
 
int nConfUndec
 
abctime timeSatUnsat
 
abctime timeSatSat
 
abctime timeSatUndec
 
abctime timeTotal
 

Detailed Description

Definition at line 63 of file giaCSat.c.

Member Data Documentation

◆ nConfSat

int Cbs_Man_t_::nConfSat

Definition at line 81 of file giaCSat.c.

◆ nConfUndec

int Cbs_Man_t_::nConfUndec

Definition at line 82 of file giaCSat.c.

◆ nConfUnsat

int Cbs_Man_t_::nConfUnsat

Definition at line 80 of file giaCSat.c.

◆ nSatSat

int Cbs_Man_t_::nSatSat

Definition at line 76 of file giaCSat.c.

◆ nSatTotal

int Cbs_Man_t_::nSatTotal

Definition at line 78 of file giaCSat.c.

◆ nSatUndec

int Cbs_Man_t_::nSatUndec

Definition at line 77 of file giaCSat.c.

◆ nSatUnsat

int Cbs_Man_t_::nSatUnsat

Definition at line 75 of file giaCSat.c.

◆ pAig

Gia_Man_t* Cbs_Man_t_::pAig

Definition at line 66 of file giaCSat.c.

◆ Pars

Cbs_Par_t Cbs_Man_t_::Pars

Definition at line 65 of file giaCSat.c.

◆ pClauses

Cbs_Que_t Cbs_Man_t_::pClauses

Definition at line 69 of file giaCSat.c.

◆ pIter

Gia_Obj_t** Cbs_Man_t_::pIter

Definition at line 70 of file giaCSat.c.

◆ pJust

Cbs_Que_t Cbs_Man_t_::pJust

Definition at line 68 of file giaCSat.c.

◆ pProp

Cbs_Que_t Cbs_Man_t_::pProp

Definition at line 67 of file giaCSat.c.

◆ timeSatSat

abctime Cbs_Man_t_::timeSatSat

Definition at line 85 of file giaCSat.c.

◆ timeSatUndec

abctime Cbs_Man_t_::timeSatUndec

Definition at line 86 of file giaCSat.c.

◆ timeSatUnsat

abctime Cbs_Man_t_::timeSatUnsat

Definition at line 84 of file giaCSat.c.

◆ timeTotal

abctime Cbs_Man_t_::timeTotal

Definition at line 87 of file giaCSat.c.

◆ vLevReas

Vec_Int_t* Cbs_Man_t_::vLevReas

Definition at line 71 of file giaCSat.c.

◆ vModel

Vec_Int_t* Cbs_Man_t_::vModel

Definition at line 72 of file giaCSat.c.

◆ vTemp

Vec_Ptr_t* Cbs_Man_t_::vTemp

Definition at line 73 of file giaCSat.c.

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