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

#include <vecHsh.h>

Public Attributes

int nSize
 
Vec_Int_t * vData
 
Vec_Int_t * vTable
 
Vec_Wrd_t * vObjs
 

Detailed Description

Definition at line 67 of file vecHsh.h.

Member Data Documentation

◆ nSize

int Hsh_IntMan_t_::nSize

Definition at line 69 of file vecHsh.h.

◆ vData

Vec_Int_t* Hsh_IntMan_t_::vData

Definition at line 70 of file vecHsh.h.

◆ vObjs

Vec_Wrd_t* Hsh_IntMan_t_::vObjs

Definition at line 72 of file vecHsh.h.

◆ vTable

Vec_Int_t* Hsh_IntMan_t_::vTable

Definition at line 71 of file vecHsh.h.

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