NetStruct Struct Reference

Net structure. Used to go back and forth between nodes, vars, defns, registers/NS/init, etc. More...

#include <tarski.h>

List of all members.

Public Attributes
array_t *	formulas
int	numNodes
array_t *	allNodes
array_t *	PIs
array_t *	constants
st_table *	UIFs
st_table *	nameToNodeHash
st_table *	nodeToId
st_table *	nodeToFanoutArray
st_table *	memToSizeHash

---

Detailed Description

Net structure. Used to go back and forth between nodes, vars, defns, registers/NS/init, etc.

Definition at line 228 of file tarski.h.

---

Member Data Documentation

array_t* NetStruct::allNodes

Definition at line 232 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), and Net_PopulateFields().

array_t* NetStruct::constants

Definition at line 234 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), and Net_PopulateFields().

array_t* NetStruct::formulas

Definition at line 230 of file tarski.h. Referenced by AddReadatEnd(), build_dlx_uclid_compare(), build_fold_unfold_check(), Net_AccessOutput(), Net_CreateFromFormula(), Net_CreateFromFormulaArray(), and Net_ReplaceWritewithRead().

st_table* NetStruct::memToSizeHash

Definition at line 239 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), and Net_SetMemSize().

st_table* NetStruct::nameToNodeHash

Definition at line 236 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), Net_NameToNode(), and Net_PopulateFields().

st_table* NetStruct::nodeToFanoutArray

Definition at line 238 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), and Net_PopulateFields().

st_table* NetStruct::nodeToId

Definition at line 237 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), Net_NodeGetId(), Net_PopulateFields(), and Node_PrintVHDL().

int NetStruct::numNodes

Definition at line 231 of file tarski.h. Referenced by Net_CreateFromFormula(), Net_CreateFromFormulaArray(), and Net_PopulateFields().

array_t* NetStruct::PIs

Definition at line 233 of file tarski.h. Referenced by Net_AnalyzeScalarBitWidth(), Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_FreeNet(), and Net_PopulateFields().

st_table* NetStruct::UIFs

Definition at line 235 of file tarski.h. Referenced by build_dlx_uclid_compare(), Net_CreateFromFormula(), Net_CreateFromFormulaArray(), Net_DoBryantReduction(), Net_FreeNet(), Net_PopulateFields(), Net_ReplaceWritewithRead(), and ReplaceWritewithRead().

---

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

• tarski.h

---