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

#include <cecInt.h>

Collaboration diagram for Cec_ManPat_t_:
Collaboration graph
[legend]

Public Attributes

Vec_Int_t * vPattern1
 
Vec_Int_t * vPattern2
 
Vec_Str_t * vStorage
 
int iStart
 
int nPats
 
int nPatsAll
 
int nPatLits
 
int nPatLitsAll
 
int nPatLitsMin
 
int nPatLitsMinAll
 
int nSeries
 
int fVerbose
 
abctime timeFind
 
abctime timeShrink
 
abctime timeVerify
 
abctime timeSort
 
abctime timePack
 
abctime timeTotal
 
abctime timeTotalSave
 

Detailed Description

Definition at line 50 of file cecInt.h.

Member Data Documentation

◆ fVerbose

int Cec_ManPat_t_::fVerbose

Definition at line 63 of file cecInt.h.

◆ iStart

int Cec_ManPat_t_::iStart

Definition at line 55 of file cecInt.h.

◆ nPatLits

int Cec_ManPat_t_::nPatLits

Definition at line 58 of file cecInt.h.

◆ nPatLitsAll

int Cec_ManPat_t_::nPatLitsAll

Definition at line 59 of file cecInt.h.

◆ nPatLitsMin

int Cec_ManPat_t_::nPatLitsMin

Definition at line 60 of file cecInt.h.

◆ nPatLitsMinAll

int Cec_ManPat_t_::nPatLitsMinAll

Definition at line 61 of file cecInt.h.

◆ nPats

int Cec_ManPat_t_::nPats

Definition at line 56 of file cecInt.h.

◆ nPatsAll

int Cec_ManPat_t_::nPatsAll

Definition at line 57 of file cecInt.h.

◆ nSeries

int Cec_ManPat_t_::nSeries

Definition at line 62 of file cecInt.h.

◆ timeFind

abctime Cec_ManPat_t_::timeFind

Definition at line 65 of file cecInt.h.

◆ timePack

abctime Cec_ManPat_t_::timePack

Definition at line 69 of file cecInt.h.

◆ timeShrink

abctime Cec_ManPat_t_::timeShrink

Definition at line 66 of file cecInt.h.

◆ timeSort

abctime Cec_ManPat_t_::timeSort

Definition at line 68 of file cecInt.h.

◆ timeTotal

abctime Cec_ManPat_t_::timeTotal

Definition at line 70 of file cecInt.h.

◆ timeTotalSave

abctime Cec_ManPat_t_::timeTotalSave

Definition at line 71 of file cecInt.h.

◆ timeVerify

abctime Cec_ManPat_t_::timeVerify

Definition at line 67 of file cecInt.h.

◆ vPattern1

Vec_Int_t* Cec_ManPat_t_::vPattern1

Definition at line 52 of file cecInt.h.

◆ vPattern2

Vec_Int_t* Cec_ManPat_t_::vPattern2

Definition at line 53 of file cecInt.h.

◆ vStorage

Vec_Str_t* Cec_ManPat_t_::vStorage

Definition at line 54 of file cecInt.h.

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