Ccf_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
int	nFrameMax
int	nConfMax
int	nTimeMax
int	fVerbose
void *	pUnr
Gia_Man_t *	pFrames
Vec_Int_t *	vCopies
sat_solver *	pSat

Detailed Description

Definition at line 32 of file giaCCof.c.

Field Documentation

int Ccf_Man_t_::fVerbose

Definition at line 39 of file giaCCof.c.

int Ccf_Man_t_::nConfMax

Definition at line 37 of file giaCCof.c.

int Ccf_Man_t_::nFrameMax

Definition at line 36 of file giaCCof.c.

int Ccf_Man_t_::nTimeMax

Definition at line 38 of file giaCCof.c.

Gia_Man_t* Ccf_Man_t_::pFrames

Definition at line 42 of file giaCCof.c.

Gia_Man_t* Ccf_Man_t_::pGia

Definition at line 35 of file giaCCof.c.

sat_solver* Ccf_Man_t_::pSat

Definition at line 44 of file giaCCof.c.

void* Ccf_Man_t_::pUnr

Definition at line 41 of file giaCCof.c.

Vec_Int_t* Ccf_Man_t_::vCopies

Definition at line 43 of file giaCCof.c.

---

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

• giaCCof.c