Cec_ManFra_t_ Struct Reference

#include <cecInt.h>

Data Fields
Gia_Man_t *	pAig
Cec_ParFra_t *	pPars
Vec_Int_t *	vXorNodes
int	nAllProved
int	nAllDisproved
int	nAllFailed
abctime	timeSim
abctime	timePat
abctime	timeSat
abctime	timeTotal

Detailed Description

Definition at line 146 of file cecInt.h.

Field Documentation

int Cec_ManFra_t_::nAllDisproved

Definition at line 154 of file cecInt.h.

int Cec_ManFra_t_::nAllFailed

Definition at line 155 of file cecInt.h.

int Cec_ManFra_t_::nAllProved

Definition at line 153 of file cecInt.h.

Gia_Man_t* Cec_ManFra_t_::pAig

Definition at line 149 of file cecInt.h.

Cec_ParFra_t* Cec_ManFra_t_::pPars

Definition at line 150 of file cecInt.h.

abctime Cec_ManFra_t_::timePat

Definition at line 158 of file cecInt.h.

abctime Cec_ManFra_t_::timeSat

Definition at line 159 of file cecInt.h.

abctime Cec_ManFra_t_::timeSim

Definition at line 157 of file cecInt.h.

abctime Cec_ManFra_t_::timeTotal

Definition at line 160 of file cecInt.h.

Vec_Int_t* Cec_ManFra_t_::vXorNodes

Definition at line 152 of file cecInt.h.

---

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

• cecInt.h