ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Saig_RefMan_t_ Struct Reference

Public Attributes

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.

Member Data Documentation

◆ fVerbose

int Saig_RefMan_t_::fVerbose

Definition at line 40 of file saigRefSat.c.

◆ nInputs

int Saig_RefMan_t_::nInputs

Definition at line 39 of file saigRefSat.c.

◆ pAig

Aig_Man_t * Saig_RefMan_t_::pAig

Definition at line 37 of file saigRefSat.c.

◆ pCex

Abc_Cex_t * Saig_RefMan_t_::pCex

Definition at line 38 of file saigRefSat.c.

◆ pFrames

Aig_Man_t * Saig_RefMan_t_::pFrames

Definition at line 42 of file saigRefSat.c.

◆ vMapPiF2A

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: