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

#include <giaCSatP.h>

Collaboration diagram for CbsP_Man_t_:
Collaboration graph
[legend]

Public Attributes

CbsP_Par_t Pars
 
Gia_Man_t * pAig
 
CbsP_Que_t pProp
 
CbsP_Que_t pJust
 
CbsP_Que_t pClauses
 
Gia_Obj_t ** pIter
 
Vec_Int_t * vLevReas
 
Vec_Int_t * vValue
 
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 76 of file giaCSatP.h.

Member Data Documentation

◆ nConfSat

int CbsP_Man_t_::nConfSat

Definition at line 95 of file giaCSatP.h.

◆ nConfUndec

int CbsP_Man_t_::nConfUndec

Definition at line 96 of file giaCSatP.h.

◆ nConfUnsat

int CbsP_Man_t_::nConfUnsat

Definition at line 94 of file giaCSatP.h.

◆ nSatSat

int CbsP_Man_t_::nSatSat

Definition at line 90 of file giaCSatP.h.

◆ nSatTotal

int CbsP_Man_t_::nSatTotal

Definition at line 92 of file giaCSatP.h.

◆ nSatUndec

int CbsP_Man_t_::nSatUndec

Definition at line 91 of file giaCSatP.h.

◆ nSatUnsat

int CbsP_Man_t_::nSatUnsat

Definition at line 89 of file giaCSatP.h.

◆ pAig

Gia_Man_t* CbsP_Man_t_::pAig

Definition at line 79 of file giaCSatP.h.

◆ Pars

CbsP_Par_t CbsP_Man_t_::Pars

Definition at line 78 of file giaCSatP.h.

◆ pClauses

CbsP_Que_t CbsP_Man_t_::pClauses

Definition at line 82 of file giaCSatP.h.

◆ pIter

Gia_Obj_t** CbsP_Man_t_::pIter

Definition at line 83 of file giaCSatP.h.

◆ pJust

CbsP_Que_t CbsP_Man_t_::pJust

Definition at line 81 of file giaCSatP.h.

◆ pProp

CbsP_Que_t CbsP_Man_t_::pProp

Definition at line 80 of file giaCSatP.h.

◆ timeSatSat

abctime CbsP_Man_t_::timeSatSat

Definition at line 99 of file giaCSatP.h.

◆ timeSatUndec

abctime CbsP_Man_t_::timeSatUndec

Definition at line 100 of file giaCSatP.h.

◆ timeSatUnsat

abctime CbsP_Man_t_::timeSatUnsat

Definition at line 98 of file giaCSatP.h.

◆ timeTotal

abctime CbsP_Man_t_::timeTotal

Definition at line 101 of file giaCSatP.h.

◆ vLevReas

Vec_Int_t* CbsP_Man_t_::vLevReas

Definition at line 84 of file giaCSatP.h.

◆ vModel

Vec_Int_t* CbsP_Man_t_::vModel

Definition at line 86 of file giaCSatP.h.

◆ vTemp

Vec_Ptr_t* CbsP_Man_t_::vTemp

Definition at line 87 of file giaCSatP.h.

◆ vValue

Vec_Int_t* CbsP_Man_t_::vValue

Definition at line 85 of file giaCSatP.h.

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