#include <fra.h>

Data Fields
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.

Field Documentation

ABC_INT64_T Fra_Man_t_::nBTLimitGlobal

Definition at line 213 of file fra.h.

int Fra_Man_t_::nChoices

Definition at line 235 of file fra.h.

int Fra_Man_t_::nChoicesFake

Definition at line 236 of file fra.h.

int Fra_Man_t_::nFramesAll

Definition at line 194 of file fra.h.

ABC_INT64_T Fra_Man_t_::nInsLimitGlobal

Definition at line 214 of file fra.h.

int Fra_Man_t_::nLitsBeg

Definition at line 222 of file fra.h.

int Fra_Man_t_::nLitsEnd

Definition at line 223 of file fra.h.

int Fra_Man_t_::nMemAlloc

Definition at line 217 of file fra.h.

int Fra_Man_t_::nNodesBeg

Definition at line 224 of file fra.h.

int Fra_Man_t_::nNodesEnd

Definition at line 225 of file fra.h.

int Fra_Man_t_::nNodesMiter

Definition at line 221 of file fra.h.

int Fra_Man_t_::nPatWords

Definition at line 204 of file fra.h.

int Fra_Man_t_::nRegsBeg

Definition at line 226 of file fra.h.

int Fra_Man_t_::nRegsEnd

Definition at line 227 of file fra.h.

int Fra_Man_t_::nSatCalls

Definition at line 228 of file fra.h.

int Fra_Man_t_::nSatCallsRecent

Definition at line 237 of file fra.h.

int Fra_Man_t_::nSatCallsSat

Definition at line 229 of file fra.h.

int Fra_Man_t_::nSatCallsSkipped

Definition at line 238 of file fra.h.

int Fra_Man_t_::nSatCallsUnsat

Definition at line 230 of file fra.h.

int Fra_Man_t_::nSatFails

Definition at line 232 of file fra.h.

int Fra_Man_t_::nSatFailsReal

Definition at line 233 of file fra.h.

int Fra_Man_t_::nSatProof

Definition at line 231 of file fra.h.

int Fra_Man_t_::nSatVars

Definition at line 211 of file fra.h.

int Fra_Man_t_::nSimRounds

Definition at line 220 of file fra.h.

int Fra_Man_t_::nSizeAlloc

Definition at line 196 of file fra.h.

int Fra_Man_t_::nSpeculs

Definition at line 234 of file fra.h.

Fra_Bmc_t* Fra_Man_t_::pBmc

Definition at line 202 of file fra.h.

Fra_Cla_t* Fra_Man_t_::pCla

Definition at line 198 of file fra.h.

Aig_Man_t* Fra_Man_t_::pManAig

Definition at line 191 of file fra.h.

Aig_Man_t* Fra_Man_t_::pManFraig

Definition at line 192 of file fra.h.

Vec_Ptr_t** Fra_Man_t_::pMemFanins

Definition at line 215 of file fra.h.

Aig_Obj_t** Fra_Man_t_::pMemFraig

Definition at line 195 of file fra.h.

int* Fra_Man_t_::pMemSatNums

Definition at line 216 of file fra.h.

Fra_Par_t* Fra_Man_t_::pPars

Definition at line 189 of file fra.h.

unsigned* Fra_Man_t_::pPatWords

Definition at line 205 of file fra.h.

sat_solver* Fra_Man_t_::pSat

Definition at line 210 of file fra.h.

Fra_Sml_t* Fra_Man_t_::pSml

Definition at line 200 of file fra.h.

abctime Fra_Man_t_::time1

Definition at line 249 of file fra.h.

abctime Fra_Man_t_::time2

Definition at line 250 of file fra.h.

abctime Fra_Man_t_::timeRef

Definition at line 247 of file fra.h.

abctime Fra_Man_t_::timeRwr

Definition at line 242 of file fra.h.

abctime Fra_Man_t_::timeSat

Definition at line 243 of file fra.h.

abctime Fra_Man_t_::timeSatFail

Definition at line 246 of file fra.h.

abctime Fra_Man_t_::timeSatSat

Definition at line 245 of file fra.h.

abctime Fra_Man_t_::timeSatUnsat

Definition at line 244 of file fra.h.

abctime Fra_Man_t_::timeSim

Definition at line 240 of file fra.h.

abctime Fra_Man_t_::timeTotal

Definition at line 248 of file fra.h.

abctime Fra_Man_t_::timeTrav

Definition at line 241 of file fra.h.

Vec_Int_t* Fra_Man_t_::vCex

Definition at line 206 of file fra.h.

Vec_Int_t* Fra_Man_t_::vOneHots

Definition at line 208 of file fra.h.

Vec_Ptr_t* Fra_Man_t_::vPiVars

Definition at line 212 of file fra.h.

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:

fra.h

Data Fields

Detailed Description

Field Documentation