ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ccf_Man_t_ Struct Reference
Collaboration diagram for Ccf_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ fVerbose

int Ccf_Man_t_::fVerbose

Definition at line 39 of file giaCCof.c.

◆ nConfMax

int Ccf_Man_t_::nConfMax

Definition at line 37 of file giaCCof.c.

◆ nFrameMax

int Ccf_Man_t_::nFrameMax

Definition at line 36 of file giaCCof.c.

◆ nTimeMax

int Ccf_Man_t_::nTimeMax

Definition at line 38 of file giaCCof.c.

◆ pFrames

Gia_Man_t* Ccf_Man_t_::pFrames

Definition at line 42 of file giaCCof.c.

◆ pGia

Gia_Man_t* Ccf_Man_t_::pGia

Definition at line 35 of file giaCCof.c.

◆ pSat

sat_solver* Ccf_Man_t_::pSat

Definition at line 44 of file giaCCof.c.

◆ pUnr

void* Ccf_Man_t_::pUnr

Definition at line 41 of file giaCCof.c.

◆ vCopies

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: