Data Structures

Here are the data structures with brief descriptions:

_CSAT_Target_ResultT
_div_t
_HashEntry_cof
_HashEntry_mint
_ldiv_t
_reo_hash
_reo_man
_reo_plane
_reo_unit
Abc_Aig_t_
Abc_Frame_t_
Abc_Lib_t_
ABC_ManagerStruct_t
Abc_ManCut_t_
Abc_ManRec_t_
Abc_ManRef_t_
Abc_ManRes_t_
Abc_ManRst_t_
Abc_ManScl_t_
Abc_ManTime_t_
Abc_Ntk_t_
Abc_Obj_t_
Abc_RRMan_t_
Abc_Time_t_
Aig_CuddMan_t_
Aig_Man_t_
Aig_MmFixed_t_
Aig_MmFlex_t_
Aig_MmStep_t_
Aig_Obj_t_
Aig_TBox_t_
Aig_TMan_t_
Aig_TObj_t_
Aig_Tsi_t_
ApproxInfo
AssortedInfo
Attr_ManStruct_t_
Bar_Progress_t_
Bdc_Fun_t_
Bdc_Isf_t_
Bdc_Man_t_
Bdc_Par_t_
cdata_struct
clause_t
cloudCacheEntry1
cloudCacheEntry2
cloudCacheEntry3
cloudManager
cloudNode
Cnf_Cut_t_
Cnf_Dat_t_
Cnf_Man_t_
Conjuncts
cost_struct
Csw_Cut_t_
Csw_Man_t_
cube_struct
cuddPathPair
Cut_Cell_t_
Cut_CMan_t_
Cut_CutStruct_t_
Cut_ListStruct_t_
Cut_ManStruct_t_
Cut_OracleStruct_t_
Cut_ParamsStruct_t_
Dar_Cut_t_
Dar_Lib_t_
Dar_LibDat_t_
Dar_LibObj_t_
Dar_Man_t_
Dar_RefPar_t_
Dar_RwrPar_t_
DdCache
DdChildren
DdGen
DdHashItem
DdHashTable
DdHook
DdLevelQueue
DdLocalCache
DdLocalCacheItem
DdManager
DdNode
DdQueueItem
DdSubtable
Dec_Edge_t_
Dec_Graph_t_
Dec_Man_t_
Dec_Node_t_
Dsd_Cache_t_
Dsd_Entry_t_
Dsd_Manager_t_
Dsd_Node_t_
EpDoubleStruct
Extra_BitMat_t_
Extra_FileReader_t_
Extra_MmFixed_t_
Extra_MmFlex_t_
Extra_MmStep_t_
Extra_SymmInfo_t_
Extra_UnateInfo_t_
Extra_UnateVar_t_
Fpga_CutStruct_t_
Fpga_CutTableStrutct_t
Fpga_LutLibStruct_t_
Fpga_ManStruct_t_
Fpga_NodeStruct_t_
Fpga_NodeVecStruct_t_
Fra_Bmc_t_
Fra_Cla_t_
Fra_Lcr_t_
Fra_Man_t_
Fra_Par_t_
Fra_Sml_t_
Fraig_HashTableStruct_t_
Fraig_ManStruct_t_
Fraig_MemFixed_t_
Fraig_NodeStruct_t_
Fraig_NodeVecStruct_t_
Fraig_ParamsStruct_t_
FxuCube
FxuDataStruct
FxuDouble
FxuHeapDouble
FxuHeapSingle
FxuListCube
FxuListDouble
FxuListLit
FxuListPair
FxuListSingle
FxuListVar
FxuLit
FxuMatrix
FxuPair
FxuSingle
FxuVar
GlobalQueueItem
hack
Hash_Flt_Entry_t_
Hash_Flt_t_
Hash_Int_Entry_t_
Hash_Int_t_
Hash_Ptr_Entry_t_
Hash_Ptr_t_
hashEntry
Hop_Man_t_
Hop_Obj_t_
IeeeDoubleStruct
IeeeNanStruct
If_Cut_t_
If_Lib_t_
If_Man_t_
If_Obj_t_
If_Par_t_
If_Set_t_
Int_Man_t_
Io_BlifMan_t_
Io_BlifObj_t_
Io_MvMan_t_
Io_MvMod_t_
Io_MvVar_t_
Io_ReadBlif_t_
Ivy_Cut_t_
Ivy_Dec_t_
Ivy_Eva_t_
Ivy_Eval_t_
Ivy_FraigList_t_
Ivy_FraigMan_t_
Ivy_FraigParams_t_
Ivy_FraigSim_t_
Ivy_Man_t_
Ivy_Obj_t_
Ivy_Store_t_
Ivy_Supp_t_
Ivy_SuppMan_t_
Kit_DsdMan_t_
Kit_DsdNtk_t_
Kit_DsdObj_t_
Kit_Edge_t_
Kit_Graph_t_
Kit_Mux_t_
Kit_Node_t_
Kit_Sop_t_
LocalQueueItem
Lpk_Cut_t_
Lpk_Fun_t_
Lpk_Man_t_
Lpk_Par_t_
Lpk_Res_t_
Lpk_Set_t_
LUT
Map_CutStruct_t_
Map_CutTableStrutct_t
Map_HashEntryStruct_t_
Map_HashTableStruct_t_
Map_ManStruct_t_
Map_MatchStruct_t_
Map_NodeStruct_t_
Map_NodeVecStruct_t_
Map_SuperLibStruct_t_
Map_SuperStruct_t_
Map_TimeStruct_t_
MarkCacheKey
Mem_Fixed_t_
Mem_Flex_t_
Mem_Step_t_
Mio_GateStruct_t_
Mio_LibraryStruct_t_
Mio_PinStruct_t_
Move
Msat_Clause_t_
Msat_ClauseVec_t_
Msat_IntVec_t_
Msat_MmFixed_t_
Msat_MmFlex_t_
Msat_MmStep_t_
Msat_Order_t_
Msat_OrderRing_t_
Msat_OrderVar_t_
Msat_Queue_t_
Msat_SearchParams_t_
Msat_Solver_t_
Msat_SolverStats_t_
MtrNode
Mv_Man_t_
MvAlias
MvcCoverStruct
MvcCubeStruct
MvcDataStruct
MvcListStruct
MvcManagerStruct
MvCommand
Nm_Entry_t_
Nm_Man_t_
NodeData
NodeDist
NodeStat
Odc_Man_t_
Odc_Obj_t_
pair_struct
ParseStackFnStruct
ParseStackOpStruct
Part_Man_t_
Part_One_t_
PLA_t
pla_types_struct
Pr_Cls_t_
Pr_Man_t_
ProgressBarStruct
Prove_ParamsStruct_t_
Ref_Man_t_
Res_Man_t_
Res_Par_t_
Res_Sim_t_
Res_Win_t_
Rtm_Edg_t_
Rtm_Man_t_
Rtm_Obj_t_
Rwr_Man4_t_
Rwr_Man5_t_
Rwr_Man_t_
Rwr_Node_t_
Rwt_Man_t_
Rwt_Node_t_
Sat_MmFixed_t_
Sat_MmFlex_t_
Sat_MmStep_t_
sat_solver_t
set_family
Sim_Man_t_
Sim_Pat_t_
sm_col_struct
sm_element_struct
sm_matrix_struct
sm_row_struct
solution_struct
st_generator
st_table
st_table_entry
stats_struct
stats_t
stmm_generator
stmm_table
stmm_table_entry
Sto_Cls_t_
Sto_Man_t_
Super2_GateStruct_t_
Super2_LibStruct_t_
Super2_ManStruct_t_
Super_GateStruct_t_
Super_ManStruct_t_
Supp_Man_t_
Supp_One_t_
Sym_Man_t_
symbolic_label_struct
symbolic_list_struct
symbolic_struct
traventry
Vec_Att_t_
Vec_Flt_t_
Vec_Int_t_
Vec_Ptr_t_
Vec_Str_t_
Vec_Vec_t_
veci_t
vecp_t
Ver_Bundle_t_
Ver_Man_t_
Ver_Stream_t_