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

Public Attributes

Cbs2_Par_t Pars
 
Gia_Man_t * pAig
 
Cbs2_Que_t pProp
 
Cbs2_Que_t pJust
 
Cbs2_Que_t pClauses
 
Vec_Int_t * vModel
 
Vec_Int_t * vTemp
 
Vec_Str_t vAssign
 
Vec_Str_t vMark
 
Vec_Int_t vLevReason
 
Vec_Int_t vWatches
 
Vec_Int_t vWatchUpds
 
Vec_Int_t vFanoutN
 
Vec_Int_t vFanout0
 
Vec_Int_t vActivity
 
Vec_Int_t vActStore
 
Vec_Int_t vJStore
 
int nSatUnsat
 
int nSatSat
 
int nSatUndec
 
int nSatTotal
 
int nConfUnsat
 
int nConfSat
 
int nConfUndec
 
abctime timeJFront
 
abctime timeSatUnsat
 
abctime timeSatSat
 
abctime timeSatUndec
 
abctime timeTotal
 
int nPropCalls [3]
 
int nFails [2]
 
int nClauseConf
 

Detailed Description

Definition at line 64 of file giaCSat2.c.

Member Data Documentation

◆ nClauseConf

int Cbs2_Man_t_::nClauseConf

Definition at line 102 of file giaCSat2.c.

◆ nConfSat

int Cbs2_Man_t_::nConfSat

Definition at line 91 of file giaCSat2.c.

◆ nConfUndec

int Cbs2_Man_t_::nConfUndec

Definition at line 92 of file giaCSat2.c.

◆ nConfUnsat

int Cbs2_Man_t_::nConfUnsat

Definition at line 90 of file giaCSat2.c.

◆ nFails

int Cbs2_Man_t_::nFails[2]

Definition at line 101 of file giaCSat2.c.

◆ nPropCalls

int Cbs2_Man_t_::nPropCalls[3]

Definition at line 100 of file giaCSat2.c.

◆ nSatSat

int Cbs2_Man_t_::nSatSat

Definition at line 86 of file giaCSat2.c.

◆ nSatTotal

int Cbs2_Man_t_::nSatTotal

Definition at line 88 of file giaCSat2.c.

◆ nSatUndec

int Cbs2_Man_t_::nSatUndec

Definition at line 87 of file giaCSat2.c.

◆ nSatUnsat

int Cbs2_Man_t_::nSatUnsat

Definition at line 85 of file giaCSat2.c.

◆ pAig

Gia_Man_t* Cbs2_Man_t_::pAig

Definition at line 67 of file giaCSat2.c.

◆ Pars

Cbs2_Par_t Cbs2_Man_t_::Pars

Definition at line 66 of file giaCSat2.c.

◆ pClauses

Cbs2_Que_t Cbs2_Man_t_::pClauses

Definition at line 70 of file giaCSat2.c.

◆ pJust

Cbs2_Que_t Cbs2_Man_t_::pJust

Definition at line 69 of file giaCSat2.c.

◆ pProp

Cbs2_Que_t Cbs2_Man_t_::pProp

Definition at line 68 of file giaCSat2.c.

◆ timeJFront

abctime Cbs2_Man_t_::timeJFront

Definition at line 94 of file giaCSat2.c.

◆ timeSatSat

abctime Cbs2_Man_t_::timeSatSat

Definition at line 96 of file giaCSat2.c.

◆ timeSatUndec

abctime Cbs2_Man_t_::timeSatUndec

Definition at line 97 of file giaCSat2.c.

◆ timeSatUnsat

abctime Cbs2_Man_t_::timeSatUnsat

Definition at line 95 of file giaCSat2.c.

◆ timeTotal

abctime Cbs2_Man_t_::timeTotal

Definition at line 98 of file giaCSat2.c.

◆ vActivity

Vec_Int_t Cbs2_Man_t_::vActivity

Definition at line 81 of file giaCSat2.c.

◆ vActStore

Vec_Int_t Cbs2_Man_t_::vActStore

Definition at line 82 of file giaCSat2.c.

◆ vAssign

Vec_Str_t Cbs2_Man_t_::vAssign

Definition at line 74 of file giaCSat2.c.

◆ vFanout0

Vec_Int_t Cbs2_Man_t_::vFanout0

Definition at line 80 of file giaCSat2.c.

◆ vFanoutN

Vec_Int_t Cbs2_Man_t_::vFanoutN

Definition at line 79 of file giaCSat2.c.

◆ vJStore

Vec_Int_t Cbs2_Man_t_::vJStore

Definition at line 83 of file giaCSat2.c.

◆ vLevReason

Vec_Int_t Cbs2_Man_t_::vLevReason

Definition at line 76 of file giaCSat2.c.

◆ vMark

Vec_Str_t Cbs2_Man_t_::vMark

Definition at line 75 of file giaCSat2.c.

◆ vModel

Vec_Int_t* Cbs2_Man_t_::vModel

Definition at line 71 of file giaCSat2.c.

◆ vTemp

Vec_Int_t* Cbs2_Man_t_::vTemp

Definition at line 72 of file giaCSat2.c.

◆ vWatches

Vec_Int_t Cbs2_Man_t_::vWatches

Definition at line 77 of file giaCSat2.c.

◆ vWatchUpds

Vec_Int_t Cbs2_Man_t_::vWatchUpds

Definition at line 78 of file giaCSat2.c.

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