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

Public Attributes

Sto_Man_t * pCnf
 
Vec_Int_t * vVarsAB
 
int fVerbose
 
int fProofVerif
 
int fProofWrite
 
int nVarsAlloc
 
int nClosAlloc
 
int nRootSize
 
int nTrailSize
 
lit * pTrail
 
lit * pAssigns
 
char * pSeens
 
Sto_Cls_t ** pReasons
 
Sto_Cls_t ** pWatches
 
Aig_Man_t * pAig
 
int * pVarTypes
 
Aig_Obj_t ** pInters
 
int nIntersAlloc
 
int Counter
 
int * pProofNums
 
FILE * pFile
 
lit * pResLits
 
int nResLits
 
int nResLitsAlloc
 
abctime timeBcp
 
abctime timeTrace
 
abctime timeTotal
 

Detailed Description

Definition at line 40 of file satInterB.c.

Member Data Documentation

◆ Counter

int Intb_Man_t_::Counter

Definition at line 65 of file satInterB.c.

◆ fProofVerif

int Intb_Man_t_::fProofVerif

Definition at line 47 of file satInterB.c.

◆ fProofWrite

int Intb_Man_t_::fProofWrite

Definition at line 48 of file satInterB.c.

◆ fVerbose

int Intb_Man_t_::fVerbose

Definition at line 46 of file satInterB.c.

◆ nClosAlloc

int Intb_Man_t_::nClosAlloc

Definition at line 50 of file satInterB.c.

◆ nIntersAlloc

int Intb_Man_t_::nIntersAlloc

Definition at line 63 of file satInterB.c.

◆ nResLits

int Intb_Man_t_::nResLits

Definition at line 70 of file satInterB.c.

◆ nResLitsAlloc

int Intb_Man_t_::nResLitsAlloc

Definition at line 71 of file satInterB.c.

◆ nRootSize

int Intb_Man_t_::nRootSize

Definition at line 52 of file satInterB.c.

◆ nTrailSize

int Intb_Man_t_::nTrailSize

Definition at line 53 of file satInterB.c.

◆ nVarsAlloc

int Intb_Man_t_::nVarsAlloc

Definition at line 49 of file satInterB.c.

◆ pAig

Aig_Man_t* Intb_Man_t_::pAig

Definition at line 60 of file satInterB.c.

◆ pAssigns

lit* Intb_Man_t_::pAssigns

Definition at line 55 of file satInterB.c.

◆ pCnf

Sto_Man_t* Intb_Man_t_::pCnf

Definition at line 43 of file satInterB.c.

◆ pFile

FILE* Intb_Man_t_::pFile

Definition at line 67 of file satInterB.c.

◆ pInters

Aig_Obj_t** Intb_Man_t_::pInters

Definition at line 62 of file satInterB.c.

◆ pProofNums

int* Intb_Man_t_::pProofNums

Definition at line 66 of file satInterB.c.

◆ pReasons

Sto_Cls_t** Intb_Man_t_::pReasons

Definition at line 57 of file satInterB.c.

◆ pResLits

lit* Intb_Man_t_::pResLits

Definition at line 69 of file satInterB.c.

◆ pSeens

char* Intb_Man_t_::pSeens

Definition at line 56 of file satInterB.c.

◆ pTrail

lit* Intb_Man_t_::pTrail

Definition at line 54 of file satInterB.c.

◆ pVarTypes

int* Intb_Man_t_::pVarTypes

Definition at line 61 of file satInterB.c.

◆ pWatches

Sto_Cls_t** Intb_Man_t_::pWatches

Definition at line 58 of file satInterB.c.

◆ timeBcp

abctime Intb_Man_t_::timeBcp

Definition at line 73 of file satInterB.c.

◆ timeTotal

abctime Intb_Man_t_::timeTotal

Definition at line 75 of file satInterB.c.

◆ timeTrace

abctime Intb_Man_t_::timeTrace

Definition at line 74 of file satInterB.c.

◆ vVarsAB

Vec_Int_t* Intb_Man_t_::vVarsAB

Definition at line 44 of file satInterB.c.

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