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

Public Attributes

Cbs0_Par_t Pars
 
Gia_Man_t * pAig
 
Cbs0_Que_t pProp
 
Cbs0_Que_t pJust
 
Vec_Int_t * vModel
 
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 59 of file giaCSatOld.c.

Member Data Documentation

◆ nConfSat

int Cbs0_Man_t_::nConfSat

Definition at line 73 of file giaCSatOld.c.

◆ nConfUndec

int Cbs0_Man_t_::nConfUndec

Definition at line 74 of file giaCSatOld.c.

◆ nConfUnsat

int Cbs0_Man_t_::nConfUnsat

Definition at line 72 of file giaCSatOld.c.

◆ nSatSat

int Cbs0_Man_t_::nSatSat

Definition at line 68 of file giaCSatOld.c.

◆ nSatTotal

int Cbs0_Man_t_::nSatTotal

Definition at line 70 of file giaCSatOld.c.

◆ nSatUndec

int Cbs0_Man_t_::nSatUndec

Definition at line 69 of file giaCSatOld.c.

◆ nSatUnsat

int Cbs0_Man_t_::nSatUnsat

Definition at line 67 of file giaCSatOld.c.

◆ pAig

Gia_Man_t* Cbs0_Man_t_::pAig

Definition at line 62 of file giaCSatOld.c.

◆ Pars

Cbs0_Par_t Cbs0_Man_t_::Pars

Definition at line 61 of file giaCSatOld.c.

◆ pJust

Cbs0_Que_t Cbs0_Man_t_::pJust

Definition at line 64 of file giaCSatOld.c.

◆ pProp

Cbs0_Que_t Cbs0_Man_t_::pProp

Definition at line 63 of file giaCSatOld.c.

◆ timeSatSat

abctime Cbs0_Man_t_::timeSatSat

Definition at line 77 of file giaCSatOld.c.

◆ timeSatUndec

abctime Cbs0_Man_t_::timeSatUndec

Definition at line 78 of file giaCSatOld.c.

◆ timeSatUnsat

abctime Cbs0_Man_t_::timeSatUnsat

Definition at line 76 of file giaCSatOld.c.

◆ timeTotal

abctime Cbs0_Man_t_::timeTotal

Definition at line 79 of file giaCSatOld.c.

◆ vModel

Vec_Int_t* Cbs0_Man_t_::vModel

Definition at line 65 of file giaCSatOld.c.

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