#include <fra.h>

Collaboration diagram for Fra_Man_t_:

[legend]

Public Attributes
Fra_Par_t *	pPars

Aig_Man_t *	pManAig

Aig_Man_t *	pManFraig

int	nFramesAll

Aig_Obj_t **	pMemFraig

int	nSizeAlloc

Fra_Cla_t *	pCla

Fra_Sml_t *	pSml

Fra_Bmc_t *	pBmc

int	nPatWords

unsigned *	pPatWords

Vec_Int_t *	vCex

Vec_Int_t *	vOneHots

sat_solver *	pSat

int	nSatVars

Vec_Ptr_t *	vPiVars

ABC_INT64_T	nBTLimitGlobal

ABC_INT64_T	nInsLimitGlobal

Vec_Ptr_t **	pMemFanins

int *	pMemSatNums

int	nMemAlloc

Vec_Ptr_t *	vTimeouts

int	nSimRounds

int	nNodesMiter

int	nLitsBeg

int	nLitsEnd

int	nNodesBeg

int	nNodesEnd

int	nRegsBeg

int	nRegsEnd

int	nSatCalls

int	nSatCallsSat

int	nSatCallsUnsat

int	nSatProof

int	nSatFails

int	nSatFailsReal

int	nSpeculs

int	nChoices

int	nChoicesFake

int	nSatCallsRecent

int	nSatCallsSkipped

abctime	timeSim

abctime	timeTrav

abctime	timeRwr

abctime	timeSat

abctime	timeSatUnsat

abctime	timeSatSat

abctime	timeSatFail

abctime	timeRef

abctime	timeTotal

abctime	time1

abctime	time2

Detailed Description

Definition at line 186 of file fra.h.

Member Data Documentation

◆ nBTLimitGlobal

ABC_INT64_T Fra_Man_t_::nBTLimitGlobal

Definition at line 213 of file fra.h.

◆ nChoices

int Fra_Man_t_::nChoices

Definition at line 235 of file fra.h.

◆ nChoicesFake

int Fra_Man_t_::nChoicesFake

Definition at line 236 of file fra.h.

◆ nFramesAll

int Fra_Man_t_::nFramesAll

Definition at line 194 of file fra.h.

◆ nInsLimitGlobal

ABC_INT64_T Fra_Man_t_::nInsLimitGlobal

Definition at line 214 of file fra.h.

◆ nLitsBeg

int Fra_Man_t_::nLitsBeg

Definition at line 222 of file fra.h.

◆ nLitsEnd

int Fra_Man_t_::nLitsEnd

Definition at line 223 of file fra.h.

◆ nMemAlloc

int Fra_Man_t_::nMemAlloc

Definition at line 217 of file fra.h.

◆ nNodesBeg

int Fra_Man_t_::nNodesBeg

Definition at line 224 of file fra.h.

◆ nNodesEnd

int Fra_Man_t_::nNodesEnd

Definition at line 225 of file fra.h.

◆ nNodesMiter

int Fra_Man_t_::nNodesMiter

Definition at line 221 of file fra.h.

◆ nPatWords

int Fra_Man_t_::nPatWords

Definition at line 204 of file fra.h.

◆ nRegsBeg

int Fra_Man_t_::nRegsBeg

Definition at line 226 of file fra.h.

◆ nRegsEnd

int Fra_Man_t_::nRegsEnd

Definition at line 227 of file fra.h.

◆ nSatCalls

int Fra_Man_t_::nSatCalls

Definition at line 228 of file fra.h.

◆ nSatCallsRecent

int Fra_Man_t_::nSatCallsRecent

Definition at line 237 of file fra.h.

◆ nSatCallsSat

int Fra_Man_t_::nSatCallsSat

Definition at line 229 of file fra.h.

◆ nSatCallsSkipped

int Fra_Man_t_::nSatCallsSkipped

Definition at line 238 of file fra.h.

◆ nSatCallsUnsat

int Fra_Man_t_::nSatCallsUnsat

Definition at line 230 of file fra.h.

◆ nSatFails

int Fra_Man_t_::nSatFails

Definition at line 232 of file fra.h.

◆ nSatFailsReal

int Fra_Man_t_::nSatFailsReal

Definition at line 233 of file fra.h.

◆ nSatProof

int Fra_Man_t_::nSatProof

Definition at line 231 of file fra.h.

◆ nSatVars

int Fra_Man_t_::nSatVars

Definition at line 211 of file fra.h.

◆ nSimRounds

int Fra_Man_t_::nSimRounds

Definition at line 220 of file fra.h.

◆ nSizeAlloc

int Fra_Man_t_::nSizeAlloc

Definition at line 196 of file fra.h.

◆ nSpeculs

int Fra_Man_t_::nSpeculs

Definition at line 234 of file fra.h.

◆ pBmc

Fra_Bmc_t* Fra_Man_t_::pBmc

Definition at line 202 of file fra.h.

◆ pCla

Fra_Cla_t* Fra_Man_t_::pCla

Definition at line 198 of file fra.h.

◆ pManAig

Aig_Man_t* Fra_Man_t_::pManAig

Definition at line 191 of file fra.h.

◆ pManFraig

Aig_Man_t* Fra_Man_t_::pManFraig

Definition at line 192 of file fra.h.

◆ pMemFanins

Vec_Ptr_t** Fra_Man_t_::pMemFanins

Definition at line 215 of file fra.h.

◆ pMemFraig

Aig_Obj_t** Fra_Man_t_::pMemFraig

Definition at line 195 of file fra.h.

◆ pMemSatNums

int* Fra_Man_t_::pMemSatNums

Definition at line 216 of file fra.h.

◆ pPars

Fra_Par_t* Fra_Man_t_::pPars

Definition at line 189 of file fra.h.

◆ pPatWords

unsigned* Fra_Man_t_::pPatWords

Definition at line 205 of file fra.h.

◆ pSat

sat_solver* Fra_Man_t_::pSat

Definition at line 210 of file fra.h.

◆ pSml

Fra_Sml_t* Fra_Man_t_::pSml

Definition at line 200 of file fra.h.

◆ time1

abctime Fra_Man_t_::time1

Definition at line 249 of file fra.h.

◆ time2

abctime Fra_Man_t_::time2

Definition at line 250 of file fra.h.

◆ timeRef

abctime Fra_Man_t_::timeRef

Definition at line 247 of file fra.h.

◆ timeRwr

abctime Fra_Man_t_::timeRwr

Definition at line 242 of file fra.h.

◆ timeSat

abctime Fra_Man_t_::timeSat

Definition at line 243 of file fra.h.

◆ timeSatFail

abctime Fra_Man_t_::timeSatFail

Definition at line 246 of file fra.h.

◆ timeSatSat

abctime Fra_Man_t_::timeSatSat

Definition at line 245 of file fra.h.

◆ timeSatUnsat

abctime Fra_Man_t_::timeSatUnsat

Definition at line 244 of file fra.h.

◆ timeSim

abctime Fra_Man_t_::timeSim

Definition at line 240 of file fra.h.

◆ timeTotal

abctime Fra_Man_t_::timeTotal

Definition at line 248 of file fra.h.

◆ timeTrav

abctime Fra_Man_t_::timeTrav

Definition at line 241 of file fra.h.

◆ vCex

Vec_Int_t* Fra_Man_t_::vCex

Definition at line 206 of file fra.h.

◆ vOneHots

Vec_Int_t* Fra_Man_t_::vOneHots

Definition at line 208 of file fra.h.

◆ vPiVars

Vec_Ptr_t* Fra_Man_t_::vPiVars

Definition at line 212 of file fra.h.

◆ vTimeouts

Vec_Ptr_t* Fra_Man_t_::vTimeouts

Definition at line 218 of file fra.h.

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

src/proof/fra/fra.h

Public Attributes