ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Cec_ManSat_t_ Struct Reference

#include <cecInt.h>

Collaboration diagram for Cec_ManSat_t_:
Collaboration graph
[legend]

Public Attributes

Cec_ParSat_t * pPars
 
Gia_Man_t * pAig
 
Vec_Int_t * vStatus
 
sat_solver * pSat
 
bmcg2_sat_solver * pSat2
 
int nSatVars
 
int * pSatVars
 
Vec_Ptr_t * vUsedNodes
 
int nRecycles
 
int nCallsSince
 
Vec_Ptr_t * vFanins
 
Vec_Int_t * vCex
 
Vec_Int_t * vVisits
 
int nSatUnsat
 
int nSatSat
 
int nSatUndec
 
int nSatTotal
 
int nCexLits
 
int nConfUnsat
 
int nConfSat
 
int nConfUndec
 
int timeSatUnsat
 
int timeSatSat
 
int timeSatUndec
 
int timeTotal
 

Detailed Description

Definition at line 76 of file cecInt.h.

Member Data Documentation

◆ nCallsSince

int Cec_ManSat_t_::nCallsSince

Definition at line 90 of file cecInt.h.

◆ nCexLits

int Cec_ManSat_t_::nCexLits

Definition at line 100 of file cecInt.h.

◆ nConfSat

int Cec_ManSat_t_::nConfSat

Definition at line 103 of file cecInt.h.

◆ nConfUndec

int Cec_ManSat_t_::nConfUndec

Definition at line 104 of file cecInt.h.

◆ nConfUnsat

int Cec_ManSat_t_::nConfUnsat

Definition at line 102 of file cecInt.h.

◆ nRecycles

int Cec_ManSat_t_::nRecycles

Definition at line 89 of file cecInt.h.

◆ nSatSat

int Cec_ManSat_t_::nSatSat

Definition at line 97 of file cecInt.h.

◆ nSatTotal

int Cec_ManSat_t_::nSatTotal

Definition at line 99 of file cecInt.h.

◆ nSatUndec

int Cec_ManSat_t_::nSatUndec

Definition at line 98 of file cecInt.h.

◆ nSatUnsat

int Cec_ManSat_t_::nSatUnsat

Definition at line 96 of file cecInt.h.

◆ nSatVars

int Cec_ManSat_t_::nSatVars

Definition at line 86 of file cecInt.h.

◆ pAig

Gia_Man_t* Cec_ManSat_t_::pAig

Definition at line 81 of file cecInt.h.

◆ pPars

Cec_ParSat_t* Cec_ManSat_t_::pPars

Definition at line 79 of file cecInt.h.

◆ pSat

sat_solver* Cec_ManSat_t_::pSat

Definition at line 84 of file cecInt.h.

◆ pSat2

bmcg2_sat_solver* Cec_ManSat_t_::pSat2

Definition at line 85 of file cecInt.h.

◆ pSatVars

int* Cec_ManSat_t_::pSatVars

Definition at line 87 of file cecInt.h.

◆ timeSatSat

int Cec_ManSat_t_::timeSatSat

Definition at line 107 of file cecInt.h.

◆ timeSatUndec

int Cec_ManSat_t_::timeSatUndec

Definition at line 108 of file cecInt.h.

◆ timeSatUnsat

int Cec_ManSat_t_::timeSatUnsat

Definition at line 106 of file cecInt.h.

◆ timeTotal

int Cec_ManSat_t_::timeTotal

Definition at line 109 of file cecInt.h.

◆ vCex

Vec_Int_t* Cec_ManSat_t_::vCex

Definition at line 93 of file cecInt.h.

◆ vFanins

Vec_Ptr_t* Cec_ManSat_t_::vFanins

Definition at line 91 of file cecInt.h.

◆ vStatus

Vec_Int_t* Cec_ManSat_t_::vStatus

Definition at line 82 of file cecInt.h.

◆ vUsedNodes

Vec_Ptr_t* Cec_ManSat_t_::vUsedNodes

Definition at line 88 of file cecInt.h.

◆ vVisits

Vec_Int_t* Cec_ManSat_t_::vVisits

Definition at line 94 of file cecInt.h.

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