st_generator Struct Reference

#include <st.h>

Public Attributes
st_table *	table
st_table_entry *	entry
int	index

Detailed Description

Definition at line 72 of file st.h.

Member Data Documentation

entry

st_table_entry* st_generator::entry

Definition at line 74 of file st.h.

index

int st_generator::index

Definition at line 75 of file st.h.

table

st_table* st_generator::table

Definition at line 73 of file st.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/CUDD/st.h