Inter_Man_t_ Struct Reference

#include <intInt.h>

Data Fields
Aig_Man_t *	pAig
Aig_Man_t *	pAigTrans
Cnf_Dat_t *	pCnfAig
Aig_Man_t *	pInter
Cnf_Dat_t *	pCnfInter
Aig_Man_t *	pFrames
Cnf_Dat_t *	pCnfFrames
Vec_Int_t *	vVarsAB
Aig_Man_t *	pInterNew
Vec_Ptr_t *	vInters
int	nFrames
int	nConfCur
int	nConfLimit
int	fVerbose
char *	pFileName
abctime	timeRwr
abctime	timeCnf
abctime	timeSat
abctime	timeInt
abctime	timeEqu
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 50 of file intInt.h.

Field Documentation

int Inter_Man_t_::fVerbose

Definition at line 71 of file intInt.h.

int Inter_Man_t_::nConfCur

Definition at line 69 of file intInt.h.

int Inter_Man_t_::nConfLimit

Definition at line 70 of file intInt.h.

int Inter_Man_t_::nFrames

Definition at line 68 of file intInt.h.

Aig_Man_t* Inter_Man_t_::pAig

Definition at line 53 of file intInt.h.

Aig_Man_t* Inter_Man_t_::pAigTrans

Definition at line 54 of file intInt.h.

Cnf_Dat_t* Inter_Man_t_::pCnfAig

Definition at line 55 of file intInt.h.

Cnf_Dat_t* Inter_Man_t_::pCnfFrames

Definition at line 61 of file intInt.h.

Cnf_Dat_t* Inter_Man_t_::pCnfInter

Definition at line 58 of file intInt.h.

char* Inter_Man_t_::pFileName

Definition at line 72 of file intInt.h.

Aig_Man_t* Inter_Man_t_::pFrames

Definition at line 60 of file intInt.h.

Aig_Man_t* Inter_Man_t_::pInter

Definition at line 57 of file intInt.h.

Aig_Man_t* Inter_Man_t_::pInterNew

Definition at line 65 of file intInt.h.

abctime Inter_Man_t_::timeCnf

Definition at line 75 of file intInt.h.

abctime Inter_Man_t_::timeEqu

Definition at line 78 of file intInt.h.

abctime Inter_Man_t_::timeInt

Definition at line 77 of file intInt.h.

abctime Inter_Man_t_::timeOther

Definition at line 79 of file intInt.h.

abctime Inter_Man_t_::timeRwr

Definition at line 74 of file intInt.h.

abctime Inter_Man_t_::timeSat

Definition at line 76 of file intInt.h.

abctime Inter_Man_t_::timeTotal

Definition at line 80 of file intInt.h.

Vec_Ptr_t* Inter_Man_t_::vInters

Definition at line 66 of file intInt.h.

Vec_Int_t* Inter_Man_t_::vVarsAB

Definition at line 63 of file intInt.h.

---

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

• intInt.h