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

#include <ioResub.h>

Public Attributes

int nIns
 
int nOuts
 
int nPats
 
int nSimWords
 
Vec_Wrd_t * vSimsIn
 
Vec_Wrd_t * vSimsOut
 
Vec_Int_t * vDivs
 
Vec_Int_t * vSol
 

Detailed Description

Definition at line 41 of file ioResub.h.

Member Data Documentation

◆ nIns

int Abc_RData_t_::nIns

Definition at line 43 of file ioResub.h.

◆ nOuts

int Abc_RData_t_::nOuts

Definition at line 44 of file ioResub.h.

◆ nPats

int Abc_RData_t_::nPats

Definition at line 45 of file ioResub.h.

◆ nSimWords

int Abc_RData_t_::nSimWords

Definition at line 46 of file ioResub.h.

◆ vDivs

Vec_Int_t* Abc_RData_t_::vDivs

Definition at line 49 of file ioResub.h.

◆ vSimsIn

Vec_Wrd_t* Abc_RData_t_::vSimsIn

Definition at line 47 of file ioResub.h.

◆ vSimsOut

Vec_Wrd_t* Abc_RData_t_::vSimsOut

Definition at line 48 of file ioResub.h.

◆ vSol

Vec_Int_t* Abc_RData_t_::vSol

Definition at line 50 of file ioResub.h.

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