Fra_Man_t_ Struct Reference
#include <fra.h>
Collaboration diagram for Fra_Man_t_:
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 |
| sat_solver * | pSat |
| int | nSatVars |
| Vec_Ptr_t * | vPiVars |
| sint64 | nBTLimitGlobal |
| sint64 | 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 |
| int | timeSim |
| int | timeTrav |
| int | timeRwr |
| int | timeSat |
| int | timeSatUnsat |
| int | timeSatSat |
| int | timeSatFail |
| int | timeRef |
| int | timeTotal |
| int | time1 |
| int | time2 |
Detailed Description
Definition at line 121 of file fra.h.
Field Documentation
| unsigned* Fra_Man_t_::pPatWords |
The documentation for this struct was generated from the following file:
- src/aig/fra/fra.h
