ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dsd_Cache_t_ Struct Reference
Collaboration diagram for Dsd_Cache_t_:
Collaboration graph
[legend]

Public Attributes

Dsd_Entry_t * pTable
 
int nTableSize
 
int nSuccess
 
int nFailure
 

Detailed Description

Definition at line 31 of file dsdCheck.c.

Member Data Documentation

◆ nFailure

int Dsd_Cache_t_::nFailure

Definition at line 36 of file dsdCheck.c.

◆ nSuccess

int Dsd_Cache_t_::nSuccess

Definition at line 35 of file dsdCheck.c.

◆ nTableSize

int Dsd_Cache_t_::nTableSize

Definition at line 34 of file dsdCheck.c.

◆ pTable

Dsd_Entry_t* Dsd_Cache_t_::pTable

Definition at line 33 of file dsdCheck.c.

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