ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Cec2_Man_t_ Struct Reference
Collaboration diagram for Cec2_Man_t_:

Public Attributes

Cec2_Par_tpPars
 
Gia_Man_tpAig
 
Gia_Man_tpNew
 
satoko_tpSat
 
Vec_Ptr_tvFrontier
 
Vec_Ptr_tvFanins
 
Vec_Wrd_tvSims
 
Vec_Int_tvNodesNew
 
Vec_Int_tvSatVars
 
Vec_Int_tvObjSatPairs
 
Vec_Int_tvCexTriples
 
int nPatterns
 
int nSatSat
 
int nSatUnsat
 
int nSatUndec
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeSatUndec
 
abctime timeSim
 
abctime timeRefine
 
abctime timeExtra
 
abctime timeStart
 

Detailed Description

Definition at line 48 of file cecSat.c.

Member Data Documentation

◆ nPatterns

int Cec2_Man_t_::nPatterns

Definition at line 63 of file cecSat.c.

◆ nSatSat

int Cec2_Man_t_::nSatSat

Definition at line 64 of file cecSat.c.

◆ nSatUndec

int Cec2_Man_t_::nSatUndec

Definition at line 66 of file cecSat.c.

◆ nSatUnsat

int Cec2_Man_t_::nSatUnsat

Definition at line 65 of file cecSat.c.

◆ pAig

Gia_Man_t* Cec2_Man_t_::pAig

Definition at line 51 of file cecSat.c.

◆ pNew

Gia_Man_t* Cec2_Man_t_::pNew

Definition at line 52 of file cecSat.c.

◆ pPars

Cec2_Par_t* Cec2_Man_t_::pPars

Definition at line 50 of file cecSat.c.

◆ pSat

satoko_t* Cec2_Man_t_::pSat

Definition at line 54 of file cecSat.c.

◆ timeExtra

abctime Cec2_Man_t_::timeExtra

Definition at line 72 of file cecSat.c.

◆ timeRefine

abctime Cec2_Man_t_::timeRefine

Definition at line 71 of file cecSat.c.

◆ timeSatSat

abctime Cec2_Man_t_::timeSatSat

Definition at line 67 of file cecSat.c.

◆ timeSatUndec

abctime Cec2_Man_t_::timeSatUndec

Definition at line 69 of file cecSat.c.

◆ timeSatUnsat

abctime Cec2_Man_t_::timeSatUnsat

Definition at line 68 of file cecSat.c.

◆ timeSim

abctime Cec2_Man_t_::timeSim

Definition at line 70 of file cecSat.c.

◆ timeStart

abctime Cec2_Man_t_::timeStart

Definition at line 73 of file cecSat.c.

◆ vCexTriples

Vec_Int_t* Cec2_Man_t_::vCexTriples

Definition at line 61 of file cecSat.c.

◆ vFanins

Vec_Ptr_t* Cec2_Man_t_::vFanins

Definition at line 56 of file cecSat.c.

◆ vFrontier

Vec_Ptr_t* Cec2_Man_t_::vFrontier

Definition at line 55 of file cecSat.c.

◆ vNodesNew

Vec_Int_t* Cec2_Man_t_::vNodesNew

Definition at line 58 of file cecSat.c.

◆ vObjSatPairs

Vec_Int_t* Cec2_Man_t_::vObjSatPairs

Definition at line 60 of file cecSat.c.

◆ vSatVars

Vec_Int_t* Cec2_Man_t_::vSatVars

Definition at line 59 of file cecSat.c.

◆ vSims

Vec_Wrd_t* Cec2_Man_t_::vSims

Definition at line 57 of file cecSat.c.


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