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

#include <cswInt.h>

Collaboration diagram for Csw_Man_t_:
Collaboration graph
[legend]

Public Attributes

Aig_Man_t * pManAig
 
Aig_Man_t * pManRes
 
Aig_Obj_t ** pEquiv
 
Csw_Cut_t ** pCuts
 
int * pnRefs
 
Csw_Cut_t ** pTable
 
int nTableSize
 
int nCutsMax
 
int nLeafMax
 
int fVerbose
 
int nCutSize
 
int nTruthWords
 
Aig_MmFixed_t * pMemCuts
 
unsigned * puTemp [4]
 
int nNodesTriv0
 
int nNodesTriv1
 
int nNodesTriv2
 
int nNodesCuts
 
int nNodesTried
 
abctime timeCuts
 
abctime timeHash
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 70 of file cswInt.h.

Member Data Documentation

◆ fVerbose

int Csw_Man_t_::fVerbose

Definition at line 84 of file cswInt.h.

◆ nCutSize

int Csw_Man_t_::nCutSize

Definition at line 86 of file cswInt.h.

◆ nCutsMax

int Csw_Man_t_::nCutsMax

Definition at line 82 of file cswInt.h.

◆ nLeafMax

int Csw_Man_t_::nLeafMax

Definition at line 83 of file cswInt.h.

◆ nNodesCuts

int Csw_Man_t_::nNodesCuts

Definition at line 94 of file cswInt.h.

◆ nNodesTried

int Csw_Man_t_::nNodesTried

Definition at line 95 of file cswInt.h.

◆ nNodesTriv0

int Csw_Man_t_::nNodesTriv0

Definition at line 91 of file cswInt.h.

◆ nNodesTriv1

int Csw_Man_t_::nNodesTriv1

Definition at line 92 of file cswInt.h.

◆ nNodesTriv2

int Csw_Man_t_::nNodesTriv2

Definition at line 93 of file cswInt.h.

◆ nTableSize

int Csw_Man_t_::nTableSize

Definition at line 80 of file cswInt.h.

◆ nTruthWords

int Csw_Man_t_::nTruthWords

Definition at line 87 of file cswInt.h.

◆ pCuts

Csw_Cut_t** Csw_Man_t_::pCuts

Definition at line 76 of file cswInt.h.

◆ pEquiv

Aig_Obj_t** Csw_Man_t_::pEquiv

Definition at line 75 of file cswInt.h.

◆ pManAig

Aig_Man_t* Csw_Man_t_::pManAig

Definition at line 73 of file cswInt.h.

◆ pManRes

Aig_Man_t* Csw_Man_t_::pManRes

Definition at line 74 of file cswInt.h.

◆ pMemCuts

Aig_MmFixed_t* Csw_Man_t_::pMemCuts

Definition at line 88 of file cswInt.h.

◆ pnRefs

int* Csw_Man_t_::pnRefs

Definition at line 77 of file cswInt.h.

◆ pTable

Csw_Cut_t** Csw_Man_t_::pTable

Definition at line 79 of file cswInt.h.

◆ puTemp

unsigned* Csw_Man_t_::puTemp[4]

Definition at line 89 of file cswInt.h.

◆ timeCuts

abctime Csw_Man_t_::timeCuts

Definition at line 96 of file cswInt.h.

◆ timeHash

abctime Csw_Man_t_::timeHash

Definition at line 97 of file cswInt.h.

◆ timeOther

abctime Csw_Man_t_::timeOther

Definition at line 98 of file cswInt.h.

◆ timeTotal

abctime Csw_Man_t_::timeTotal

Definition at line 99 of file cswInt.h.

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