#include <intInt.h>

Collaboration diagram for Inter_Man_t_:

Public Attributes
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.

Member Data Documentation

◆ fVerbose

int Inter_Man_t_::fVerbose

Definition at line 71 of file intInt.h.

◆ nConfCur

int Inter_Man_t_::nConfCur

Definition at line 69 of file intInt.h.

◆ nConfLimit

int Inter_Man_t_::nConfLimit

Definition at line 70 of file intInt.h.

◆ nFrames

int Inter_Man_t_::nFrames

Definition at line 68 of file intInt.h.

◆ pAig

Aig_Man_t* Inter_Man_t_::pAig

Definition at line 53 of file intInt.h.

◆ pAigTrans

Aig_Man_t* Inter_Man_t_::pAigTrans

Definition at line 54 of file intInt.h.

◆ pCnfAig

Cnf_Dat_t* Inter_Man_t_::pCnfAig

Definition at line 55 of file intInt.h.

◆ pCnfFrames

Cnf_Dat_t* Inter_Man_t_::pCnfFrames

Definition at line 61 of file intInt.h.

◆ pCnfInter

Cnf_Dat_t* Inter_Man_t_::pCnfInter

Definition at line 58 of file intInt.h.

◆ pFileName

char* Inter_Man_t_::pFileName

Definition at line 72 of file intInt.h.

◆ pFrames

Aig_Man_t* Inter_Man_t_::pFrames

Definition at line 60 of file intInt.h.

◆ pInter

Aig_Man_t* Inter_Man_t_::pInter

Definition at line 57 of file intInt.h.

◆ pInterNew

Aig_Man_t* Inter_Man_t_::pInterNew

Definition at line 65 of file intInt.h.

◆ timeCnf

abctime Inter_Man_t_::timeCnf

Definition at line 75 of file intInt.h.

◆ timeEqu

abctime Inter_Man_t_::timeEqu

Definition at line 78 of file intInt.h.

◆ timeInt

abctime Inter_Man_t_::timeInt

Definition at line 77 of file intInt.h.

◆ timeOther

abctime Inter_Man_t_::timeOther

Definition at line 79 of file intInt.h.

◆ timeRwr

abctime Inter_Man_t_::timeRwr

Definition at line 74 of file intInt.h.

◆ timeSat

abctime Inter_Man_t_::timeSat

Definition at line 76 of file intInt.h.

◆ timeTotal

abctime Inter_Man_t_::timeTotal

Definition at line 80 of file intInt.h.

◆ vInters

Vec_Ptr_t* Inter_Man_t_::vInters

Definition at line 66 of file intInt.h.

◆ vVarsAB

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:

src/proof/int/intInt.h

Public Attributes