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

Public Attributes

int nFuncs
 
unsigned short * puCanons
 
int * pnCounts
 
int nConsidered
 
int nClasses
 

Detailed Description

Definition at line 31 of file rwrExp.c.

Member Data Documentation

◆ nClasses

int Rwr_Man4_t_::nClasses

Definition at line 38 of file rwrExp.c.

◆ nConsidered

int Rwr_Man4_t_::nConsidered

Definition at line 37 of file rwrExp.c.

◆ nFuncs

int Rwr_Man4_t_::nFuncs

Definition at line 34 of file rwrExp.c.

◆ pnCounts

int* Rwr_Man4_t_::pnCounts

Definition at line 36 of file rwrExp.c.

◆ puCanons

unsigned short* Rwr_Man4_t_::puCanons

Definition at line 35 of file rwrExp.c.

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