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

Public Attributes

int nLuts
 
int nSize
 
int nDivs
 
int nVars
 
int nPars
 
int pPars1 [SBD_LUTS_MAX][1<< SBD_SIZE_MAX]
 
int pPars2 [SBD_LUTS_MAX][SBD_SIZE_MAX][SBD_DIV_MAX]
 
int pVars [SBD_LUTS_MAX][SBD_SIZE_MAX+1]
 
int pDivs [SBD_DIV_MAX]
 

Detailed Description

Definition at line 42 of file sbdSat.c.

Member Data Documentation

◆ nDivs

int Sbd_Pro_t_::nDivs

Definition at line 46 of file sbdSat.c.

◆ nLuts

int Sbd_Pro_t_::nLuts

Definition at line 44 of file sbdSat.c.

◆ nPars

int Sbd_Pro_t_::nPars

Definition at line 48 of file sbdSat.c.

◆ nSize

int Sbd_Pro_t_::nSize

Definition at line 45 of file sbdSat.c.

◆ nVars

int Sbd_Pro_t_::nVars

Definition at line 47 of file sbdSat.c.

◆ pDivs

int Sbd_Pro_t_::pDivs[SBD_DIV_MAX]

Definition at line 52 of file sbdSat.c.

◆ pPars1

int Sbd_Pro_t_::pPars1[SBD_LUTS_MAX][1<< SBD_SIZE_MAX]

Definition at line 49 of file sbdSat.c.

◆ pPars2

int Sbd_Pro_t_::pPars2[SBD_LUTS_MAX][SBD_SIZE_MAX][SBD_DIV_MAX]

Definition at line 50 of file sbdSat.c.

◆ pVars

int Sbd_Pro_t_::pVars[SBD_LUTS_MAX][SBD_SIZE_MAX+1]

Definition at line 51 of file sbdSat.c.

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