abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Int_Man_t_ Struct Reference

Data Fields

Sto_Man_tpCnf
 
int pGloVars [16]
 
int nGloVars
 
int fVerbose
 
int fProofVerif
 
int fProofWrite
 
int nVarsAlloc
 
int nClosAlloc
 
int nRootSize
 
int nTrailSize
 
litpTrail
 
litpAssigns
 
char * pSeens
 
Sto_Cls_t ** pReasons
 
Sto_Cls_t ** pWatches
 
int nVarsAB
 
int * pVarTypes
 
unsigned * pInters
 
int nIntersAlloc
 
int nWords
 
int Counter
 
int * pProofNums
 
FILE * pFile
 
litpResLits
 
int nResLits
 
int nResLitsAlloc
 
abctime timeBcp
 
abctime timeTrace
 
abctime timeTotal
 

Detailed Description

Definition at line 39 of file satInter.c.

Field Documentation

int Int_Man_t_::Counter

Definition at line 66 of file satInter.c.

int Int_Man_t_::fProofVerif

Definition at line 47 of file satInter.c.

int Int_Man_t_::fProofWrite

Definition at line 48 of file satInter.c.

int Int_Man_t_::fVerbose

Definition at line 46 of file satInter.c.

int Int_Man_t_::nClosAlloc

Definition at line 50 of file satInter.c.

int Int_Man_t_::nGloVars

Definition at line 44 of file satInter.c.

int Int_Man_t_::nIntersAlloc

Definition at line 63 of file satInter.c.

int Int_Man_t_::nResLits

Definition at line 71 of file satInter.c.

int Int_Man_t_::nResLitsAlloc

Definition at line 72 of file satInter.c.

int Int_Man_t_::nRootSize

Definition at line 52 of file satInter.c.

int Int_Man_t_::nTrailSize

Definition at line 53 of file satInter.c.

int Int_Man_t_::nVarsAB

Definition at line 60 of file satInter.c.

int Int_Man_t_::nVarsAlloc

Definition at line 49 of file satInter.c.

int Int_Man_t_::nWords

Definition at line 64 of file satInter.c.

lit* Int_Man_t_::pAssigns

Definition at line 55 of file satInter.c.

Sto_Man_t* Int_Man_t_::pCnf

Definition at line 42 of file satInter.c.

FILE* Int_Man_t_::pFile

Definition at line 68 of file satInter.c.

int Int_Man_t_::pGloVars[16]

Definition at line 43 of file satInter.c.

unsigned* Int_Man_t_::pInters

Definition at line 62 of file satInter.c.

int* Int_Man_t_::pProofNums

Definition at line 67 of file satInter.c.

Sto_Cls_t** Int_Man_t_::pReasons

Definition at line 57 of file satInter.c.

lit* Int_Man_t_::pResLits

Definition at line 70 of file satInter.c.

char* Int_Man_t_::pSeens

Definition at line 56 of file satInter.c.

lit* Int_Man_t_::pTrail

Definition at line 54 of file satInter.c.

int* Int_Man_t_::pVarTypes

Definition at line 61 of file satInter.c.

Sto_Cls_t** Int_Man_t_::pWatches

Definition at line 58 of file satInter.c.

abctime Int_Man_t_::timeBcp

Definition at line 74 of file satInter.c.

abctime Int_Man_t_::timeTotal

Definition at line 76 of file satInter.c.

abctime Int_Man_t_::timeTrace

Definition at line 75 of file satInter.c.


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