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

#include <resInt.h>

Collaboration diagram for Res_Sim_t_:
Collaboration graph
[legend]

Public Attributes

Abc_Ntk_t * pAig
 
int nTruePis
 
int fConst0
 
int fConst1
 
int nWords
 
int nPats
 
int nWordsIn
 
int nPatsIn
 
int nBytesIn
 
int nWordsOut
 
int nPatsOut
 
Vec_Ptr_t * vPats
 
Vec_Ptr_t * vPats0
 
Vec_Ptr_t * vPats1
 
Vec_Ptr_t * vOuts
 
int nPats0
 
int nPats1
 
Vec_Vec_t * vCands
 
abctime timeSat
 

Detailed Description

Definition at line 70 of file resInt.h.

Member Data Documentation

◆ fConst0

int Res_Sim_t_::fConst0

Definition at line 74 of file resInt.h.

◆ fConst1

int Res_Sim_t_::fConst1

Definition at line 75 of file resInt.h.

◆ nBytesIn

int Res_Sim_t_::nBytesIn

Definition at line 81 of file resInt.h.

◆ nPats

int Res_Sim_t_::nPats

Definition at line 78 of file resInt.h.

◆ nPats0

int Res_Sim_t_::nPats0

Definition at line 89 of file resInt.h.

◆ nPats1

int Res_Sim_t_::nPats1

Definition at line 90 of file resInt.h.

◆ nPatsIn

int Res_Sim_t_::nPatsIn

Definition at line 80 of file resInt.h.

◆ nPatsOut

int Res_Sim_t_::nPatsOut

Definition at line 83 of file resInt.h.

◆ nTruePis

int Res_Sim_t_::nTruePis

Definition at line 73 of file resInt.h.

◆ nWords

int Res_Sim_t_::nWords

Definition at line 77 of file resInt.h.

◆ nWordsIn

int Res_Sim_t_::nWordsIn

Definition at line 79 of file resInt.h.

◆ nWordsOut

int Res_Sim_t_::nWordsOut

Definition at line 82 of file resInt.h.

◆ pAig

Abc_Ntk_t* Res_Sim_t_::pAig

Definition at line 72 of file resInt.h.

◆ timeSat

abctime Res_Sim_t_::timeSat

Definition at line 94 of file resInt.h.

◆ vCands

Vec_Vec_t* Res_Sim_t_::vCands

Definition at line 92 of file resInt.h.

◆ vOuts

Vec_Ptr_t* Res_Sim_t_::vOuts

Definition at line 88 of file resInt.h.

◆ vPats

Vec_Ptr_t* Res_Sim_t_::vPats

Definition at line 85 of file resInt.h.

◆ vPats0

Vec_Ptr_t* Res_Sim_t_::vPats0

Definition at line 86 of file resInt.h.

◆ vPats1

Vec_Ptr_t* Res_Sim_t_::vPats1

Definition at line 87 of file resInt.h.

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