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

#include <sswInt.h>

Public Attributes

Aig_Man_t * pAig
 
int nObjs
 
int nFrames
 
Aig_Man_t * pFrames
 
Vec_Ptr_t * vAig2Frm
 

Detailed Description

Definition at line 156 of file sswInt.h.

Member Data Documentation

◆ nFrames

int Ssw_Frm_t_::nFrames

Definition at line 160 of file sswInt.h.

◆ nObjs

int Ssw_Frm_t_::nObjs

Definition at line 159 of file sswInt.h.

◆ pAig

Aig_Man_t* Ssw_Frm_t_::pAig

Definition at line 158 of file sswInt.h.

◆ pFrames

Aig_Man_t* Ssw_Frm_t_::pFrames

Definition at line 161 of file sswInt.h.

◆ vAig2Frm

Vec_Ptr_t* Ssw_Frm_t_::vAig2Frm

Definition at line 162 of file sswInt.h.

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