abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Data Fields
Saig_RefMan_t_ Struct Reference

Data Fields

Aig_Man_t * pAig
 
Abc_Cex_t * pCex
 
int nInputs
 
int fVerbose
 
Aig_Man_t * pFrames
 
Vec_Int_t * vMapPiF2A
 

Detailed Description

Definition at line 34 of file saigRefSat.c.

Field Documentation

int Saig_RefMan_t_::fVerbose

Definition at line 40 of file saigRefSat.c.

int Saig_RefMan_t_::nInputs

Definition at line 39 of file saigRefSat.c.

Aig_Man_t * Saig_RefMan_t_::pAig

Definition at line 37 of file saigRefSat.c.

Abc_Cex_t * Saig_RefMan_t_::pCex

Definition at line 38 of file saigRefSat.c.

Aig_Man_t * Saig_RefMan_t_::pFrames

Definition at line 42 of file saigRefSat.c.

Vec_Int_t * Saig_RefMan_t_::vMapPiF2A

Definition at line 43 of file saigRefSat.c.

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