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

#include <cecInt.h>

Collaboration diagram for Cec_ManFra_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pAig
 
Cec_ParFra_t * pPars
 
Vec_Int_t * vXorNodes
 
int nAllProved
 
int nAllDisproved
 
int nAllFailed
 
int nAllProvedS
 
int nAllDisprovedS
 
int nAllFailedS
 
abctime timeSim
 
abctime timePat
 
abctime timeSat
 
abctime timeTotal
 

Detailed Description

Definition at line 148 of file cecInt.h.

Member Data Documentation

◆ nAllDisproved

int Cec_ManFra_t_::nAllDisproved

Definition at line 156 of file cecInt.h.

◆ nAllDisprovedS

int Cec_ManFra_t_::nAllDisprovedS

Definition at line 159 of file cecInt.h.

◆ nAllFailed

int Cec_ManFra_t_::nAllFailed

Definition at line 157 of file cecInt.h.

◆ nAllFailedS

int Cec_ManFra_t_::nAllFailedS

Definition at line 160 of file cecInt.h.

◆ nAllProved

int Cec_ManFra_t_::nAllProved

Definition at line 155 of file cecInt.h.

◆ nAllProvedS

int Cec_ManFra_t_::nAllProvedS

Definition at line 158 of file cecInt.h.

◆ pAig

Gia_Man_t* Cec_ManFra_t_::pAig

Definition at line 151 of file cecInt.h.

◆ pPars

Cec_ParFra_t* Cec_ManFra_t_::pPars

Definition at line 152 of file cecInt.h.

◆ timePat

abctime Cec_ManFra_t_::timePat

Definition at line 163 of file cecInt.h.

◆ timeSat

abctime Cec_ManFra_t_::timeSat

Definition at line 164 of file cecInt.h.

◆ timeSim

abctime Cec_ManFra_t_::timeSim

Definition at line 162 of file cecInt.h.

◆ timeTotal

abctime Cec_ManFra_t_::timeTotal

Definition at line 165 of file cecInt.h.

◆ vXorNodes

Vec_Int_t* Cec_ManFra_t_::vXorNodes

Definition at line 154 of file cecInt.h.

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