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

#include <vecHsh.h>

Collaboration diagram for Hsh_VecMan_t_:
Collaboration graph
[legend]

Public Attributes

Vec_Int_t * vTable
 
Vec_Int_t * vData
 
Vec_Int_t * vMap
 
Vec_Int_t * vValue
 
Vec_Int_t * vEntry
 
Vec_Int_t vTemp
 
Vec_Int_t vTemp1
 
Vec_Int_t vTemp2
 

Detailed Description

Definition at line 86 of file vecHsh.h.

Member Data Documentation

◆ vData

Vec_Int_t* Hsh_VecMan_t_::vData

Definition at line 89 of file vecHsh.h.

◆ vEntry

Vec_Int_t* Hsh_VecMan_t_::vEntry

Definition at line 92 of file vecHsh.h.

◆ vMap

Vec_Int_t* Hsh_VecMan_t_::vMap

Definition at line 90 of file vecHsh.h.

◆ vTable

Vec_Int_t* Hsh_VecMan_t_::vTable

Definition at line 88 of file vecHsh.h.

◆ vTemp

Vec_Int_t Hsh_VecMan_t_::vTemp

Definition at line 93 of file vecHsh.h.

◆ vTemp1

Vec_Int_t Hsh_VecMan_t_::vTemp1

Definition at line 94 of file vecHsh.h.

◆ vTemp2

Vec_Int_t Hsh_VecMan_t_::vTemp2

Definition at line 95 of file vecHsh.h.

◆ vValue

Vec_Int_t* Hsh_VecMan_t_::vValue

Definition at line 91 of file vecHsh.h.

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