ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ssw_Man_t_ Struct Reference

#include <sswInt.h>

Collaboration diagram for Ssw_Man_t_:
Collaboration graph
[legend]

Public Attributes

Ssw_Pars_t * pPars
 
int nFrames
 
Aig_Man_t * pAig
 
Aig_Man_t * pFrames
 
Aig_Obj_t ** pNodeToFrames
 
Ssw_Cla_t * ppClasses
 
int fRefined
 
Ssw_Sat_t * pMSatBmc
 
Ssw_Sat_t * pMSat
 
Vec_Ptr_t * vSimInfo
 
int nPatterns
 
int nSimRounds
 
int nCallsCount
 
int nCallsDelta
 
int nCallsSat
 
int nCallsUnsat
 
int nRecycleCalls
 
int nRecycles
 
int nRecyclesTotal
 
int nVarsMax
 
int nCallsMax
 
Vec_Ptr_t * vCommon
 
int iOutputLit
 
Vec_Int_t * vDiffPairs
 
int nUniques
 
int nUniquesAdded
 
int nUniquesUseful
 
int nSRMiterMaxId
 
Vec_Ptr_t * vNewLos
 
Vec_Int_t * vNewPos
 
int * pVisited
 
int nVisCounter
 
Ssw_Sml_t * pSml
 
int iNodeStart
 
int iNodeLast
 
Vec_Ptr_t * vResimConsts
 
Vec_Ptr_t * vResimClasses
 
Vec_Int_t * vInits
 
int nPatWords
 
unsigned * pPatWords
 
int nConstrTotal
 
int nConstrReduced
 
int nStrangers
 
int nSatCalls
 
int nSatProof
 
int nSatFailsReal
 
int nSatCallsUnsat
 
int nSatCallsSat
 
int nLitsBeg
 
int nLitsEnd
 
int nNodesBeg
 
int nNodesEnd
 
int nRegsBeg
 
int nRegsEnd
 
int nConesTotal
 
int nConesConstr
 
int nEquivsTotal
 
int nEquivsConstr
 
int nNodesBegC
 
int nNodesEndC
 
int nRegsBegC
 
int nRegsEndC
 
abctime timeBmc
 
abctime timeReduce
 
abctime timeMarkCones
 
abctime timeSimSat
 
abctime timeSat
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeSatUndec
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 52 of file sswInt.h.

Member Data Documentation

◆ fRefined

int Ssw_Man_t_::fRefined

Definition at line 63 of file sswInt.h.

◆ iNodeLast

int Ssw_Man_t_::iNodeLast

Definition at line 96 of file sswInt.h.

◆ iNodeStart

int Ssw_Man_t_::iNodeStart

Definition at line 95 of file sswInt.h.

◆ iOutputLit

int Ssw_Man_t_::iOutputLit

Definition at line 82 of file sswInt.h.

◆ nCallsCount

int Ssw_Man_t_::nCallsCount

Definition at line 71 of file sswInt.h.

◆ nCallsDelta

int Ssw_Man_t_::nCallsDelta

Definition at line 72 of file sswInt.h.

◆ nCallsMax

int Ssw_Man_t_::nCallsMax

Definition at line 79 of file sswInt.h.

◆ nCallsSat

int Ssw_Man_t_::nCallsSat

Definition at line 73 of file sswInt.h.

◆ nCallsUnsat

int Ssw_Man_t_::nCallsUnsat

Definition at line 74 of file sswInt.h.

◆ nConesConstr

int Ssw_Man_t_::nConesConstr

Definition at line 122 of file sswInt.h.

◆ nConesTotal

int Ssw_Man_t_::nConesTotal

Definition at line 121 of file sswInt.h.

◆ nConstrReduced

int Ssw_Man_t_::nConstrReduced

Definition at line 105 of file sswInt.h.

◆ nConstrTotal

int Ssw_Man_t_::nConstrTotal

Definition at line 104 of file sswInt.h.

◆ nEquivsConstr

int Ssw_Man_t_::nEquivsConstr

Definition at line 124 of file sswInt.h.

◆ nEquivsTotal

int Ssw_Man_t_::nEquivsTotal

Definition at line 123 of file sswInt.h.

◆ nFrames

int Ssw_Man_t_::nFrames

Definition at line 56 of file sswInt.h.

◆ nLitsBeg

int Ssw_Man_t_::nLitsBeg

Definition at line 114 of file sswInt.h.

◆ nLitsEnd

int Ssw_Man_t_::nLitsEnd

Definition at line 115 of file sswInt.h.

◆ nNodesBeg

int Ssw_Man_t_::nNodesBeg

Definition at line 116 of file sswInt.h.

◆ nNodesBegC

int Ssw_Man_t_::nNodesBegC

Definition at line 125 of file sswInt.h.

◆ nNodesEnd

int Ssw_Man_t_::nNodesEnd

Definition at line 117 of file sswInt.h.

◆ nNodesEndC

int Ssw_Man_t_::nNodesEndC

Definition at line 126 of file sswInt.h.

◆ nPatterns

int Ssw_Man_t_::nPatterns

Definition at line 69 of file sswInt.h.

◆ nPatWords

int Ssw_Man_t_::nPatWords

Definition at line 101 of file sswInt.h.

◆ nRecycleCalls

int Ssw_Man_t_::nRecycleCalls

Definition at line 75 of file sswInt.h.

◆ nRecycles

int Ssw_Man_t_::nRecycles

Definition at line 76 of file sswInt.h.

◆ nRecyclesTotal

int Ssw_Man_t_::nRecyclesTotal

Definition at line 77 of file sswInt.h.

◆ nRegsBeg

int Ssw_Man_t_::nRegsBeg

Definition at line 118 of file sswInt.h.

◆ nRegsBegC

int Ssw_Man_t_::nRegsBegC

Definition at line 127 of file sswInt.h.

◆ nRegsEnd

int Ssw_Man_t_::nRegsEnd

Definition at line 119 of file sswInt.h.

◆ nRegsEndC

int Ssw_Man_t_::nRegsEndC

Definition at line 128 of file sswInt.h.

◆ nSatCalls

int Ssw_Man_t_::nSatCalls

Definition at line 108 of file sswInt.h.

◆ nSatCallsSat

int Ssw_Man_t_::nSatCallsSat

Definition at line 112 of file sswInt.h.

◆ nSatCallsUnsat

int Ssw_Man_t_::nSatCallsUnsat

Definition at line 111 of file sswInt.h.

◆ nSatFailsReal

int Ssw_Man_t_::nSatFailsReal

Definition at line 110 of file sswInt.h.

◆ nSatProof

int Ssw_Man_t_::nSatProof

Definition at line 109 of file sswInt.h.

◆ nSimRounds

int Ssw_Man_t_::nSimRounds

Definition at line 70 of file sswInt.h.

◆ nSRMiterMaxId

int Ssw_Man_t_::nSRMiterMaxId

Definition at line 88 of file sswInt.h.

◆ nStrangers

int Ssw_Man_t_::nStrangers

Definition at line 106 of file sswInt.h.

◆ nUniques

int Ssw_Man_t_::nUniques

Definition at line 84 of file sswInt.h.

◆ nUniquesAdded

int Ssw_Man_t_::nUniquesAdded

Definition at line 85 of file sswInt.h.

◆ nUniquesUseful

int Ssw_Man_t_::nUniquesUseful

Definition at line 86 of file sswInt.h.

◆ nVarsMax

int Ssw_Man_t_::nVarsMax

Definition at line 78 of file sswInt.h.

◆ nVisCounter

int Ssw_Man_t_::nVisCounter

Definition at line 92 of file sswInt.h.

◆ pAig

Aig_Man_t* Ssw_Man_t_::pAig

Definition at line 58 of file sswInt.h.

◆ pFrames

Aig_Man_t* Ssw_Man_t_::pFrames

Definition at line 59 of file sswInt.h.

◆ pMSat

Ssw_Sat_t* Ssw_Man_t_::pMSat

Definition at line 66 of file sswInt.h.

◆ pMSatBmc

Ssw_Sat_t* Ssw_Man_t_::pMSatBmc

Definition at line 65 of file sswInt.h.

◆ pNodeToFrames

Aig_Obj_t** Ssw_Man_t_::pNodeToFrames

Definition at line 60 of file sswInt.h.

◆ pPars

Ssw_Pars_t* Ssw_Man_t_::pPars

Definition at line 55 of file sswInt.h.

◆ pPatWords

unsigned* Ssw_Man_t_::pPatWords

Definition at line 102 of file sswInt.h.

◆ ppClasses

Ssw_Cla_t* Ssw_Man_t_::ppClasses

Definition at line 62 of file sswInt.h.

◆ pSml

Ssw_Sml_t* Ssw_Man_t_::pSml

Definition at line 94 of file sswInt.h.

◆ pVisited

int* Ssw_Man_t_::pVisited

Definition at line 91 of file sswInt.h.

◆ timeBmc

abctime Ssw_Man_t_::timeBmc

Definition at line 130 of file sswInt.h.

◆ timeMarkCones

abctime Ssw_Man_t_::timeMarkCones

Definition at line 132 of file sswInt.h.

◆ timeOther

abctime Ssw_Man_t_::timeOther

Definition at line 138 of file sswInt.h.

◆ timeReduce

abctime Ssw_Man_t_::timeReduce

Definition at line 131 of file sswInt.h.

◆ timeSat

abctime Ssw_Man_t_::timeSat

Definition at line 134 of file sswInt.h.

◆ timeSatSat

abctime Ssw_Man_t_::timeSatSat

Definition at line 135 of file sswInt.h.

◆ timeSatUndec

abctime Ssw_Man_t_::timeSatUndec

Definition at line 137 of file sswInt.h.

◆ timeSatUnsat

abctime Ssw_Man_t_::timeSatUnsat

Definition at line 136 of file sswInt.h.

◆ timeSimSat

abctime Ssw_Man_t_::timeSimSat

Definition at line 133 of file sswInt.h.

◆ timeTotal

abctime Ssw_Man_t_::timeTotal

Definition at line 139 of file sswInt.h.

◆ vCommon

Vec_Ptr_t* Ssw_Man_t_::vCommon

Definition at line 81 of file sswInt.h.

◆ vDiffPairs

Vec_Int_t* Ssw_Man_t_::vDiffPairs

Definition at line 83 of file sswInt.h.

◆ vInits

Vec_Int_t* Ssw_Man_t_::vInits

Definition at line 99 of file sswInt.h.

◆ vNewLos

Vec_Ptr_t* Ssw_Man_t_::vNewLos

Definition at line 89 of file sswInt.h.

◆ vNewPos

Vec_Int_t* Ssw_Man_t_::vNewPos

Definition at line 90 of file sswInt.h.

◆ vResimClasses

Vec_Ptr_t* Ssw_Man_t_::vResimClasses

Definition at line 98 of file sswInt.h.

◆ vResimConsts

Vec_Ptr_t* Ssw_Man_t_::vResimConsts

Definition at line 97 of file sswInt.h.

◆ vSimInfo

Vec_Ptr_t* Ssw_Man_t_::vSimInfo

Definition at line 68 of file sswInt.h.

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