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

Public Attributes

Gia_Man_t * pGia
 
Vec_Int_t * vCis
 
Vec_Int_t * vCos
 
int nObjs
 
int nRegs
 
int * pObjData
 
int nObjData
 
int fVerbose
 
int nCutCur
 
int nCutMax
 

Detailed Description

Definition at line 56 of file giaForce.c.

Member Data Documentation

◆ fVerbose

int Frc_Man_t_::fVerbose

Definition at line 65 of file giaForce.c.

◆ nCutCur

int Frc_Man_t_::nCutCur

Definition at line 66 of file giaForce.c.

◆ nCutMax

int Frc_Man_t_::nCutMax

Definition at line 67 of file giaForce.c.

◆ nObjData

int Frc_Man_t_::nObjData

Definition at line 64 of file giaForce.c.

◆ nObjs

int Frc_Man_t_::nObjs

Definition at line 61 of file giaForce.c.

◆ nRegs

int Frc_Man_t_::nRegs

Definition at line 62 of file giaForce.c.

◆ pGia

Gia_Man_t* Frc_Man_t_::pGia

Definition at line 58 of file giaForce.c.

◆ pObjData

int* Frc_Man_t_::pObjData

Definition at line 63 of file giaForce.c.

◆ vCis

Vec_Int_t* Frc_Man_t_::vCis

Definition at line 59 of file giaForce.c.

◆ vCos

Vec_Int_t* Frc_Man_t_::vCos

Definition at line 60 of file giaForce.c.

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