Data Structures

Here are the data structures with brief descriptions:

[detail level 123]

abcpy_test
getch
_Getch
_GetchUnix
_GetchWindows
Minisat
RegionAllocator
Heap
Hash
Equal
DeepHash
DeepEqual
Map
Pair
Option
OptionLt
IntRange
Int64Range
DoubleRange
DoubleOption
IntOption
StringOption
BoolOption
StreamBuffer
Queue
SimpSolver
ClauseDeleted
ElimLt
Solver
VarData
VarOrderLt
Watcher
WatcherDeleted
Lit
lbool
Clause
ClauseAllocator
OccLists
CMap
CRefHash
LessThan_default
vec
OutOfMemoryException
package
pyabc_split
_splitter
abc_state
reachx_cmd
redirect
setup
build_ext_subclass
_CSAT_Target_ResultT
_HashEntry_cof
_HashEntry_mint
_reo_hash
_reo_man
_reo_plane
_reo_unit
Abc_Aig_t_	DECLARATIONS ///
Abc_Cex_t_
Abc_Des_t_
Abc_EnuMan_t_
Abc_Frame_t_	STRUCTURE DEFINITIONS ///
Abc_FrameInitializer_t_
Abc_IffMan_t_
Abc_IffObj_t_
ABC_ManagerStruct_t
Abc_ManCut_t_	DECLARATIONS ///
Abc_ManRef_t_
Abc_ManRes_t_
Abc_ManRst_t_
Abc_ManScl_t_
Abc_ManTime_t_	DECLARATIONS ///
Abc_Nam_t_	DECLARATIONS ///
Abc_Ntk_t_
Abc_Obj_t_
Abc_RRMan_t_
Abc_ShaMan_t_
Abc_Time_t_
Abc_TtStore_t
Abc_TtStore_t_
Abc_ZddEnt_
Abc_ZddMan_
Abc_ZddObj_
Abs_Par_t_
AbstractCell
Agi_Man_t_
Aig_CMan_t_
Aig_CuddMan_t_
Aig_Cut_t_
Aig_Dom_t_
Aig_Gla1Man_t_
Aig_Gla2Man_t_
Aig_Gla3Man_t_
Aig_Man_t_
Aig_ManCut_t_
Aig_ManPack_t_
Aig_ManPre_t_
Aig_MmFixed_t_	DECLARATIONS ///
Aig_MmFlex_t_
Aig_MmStep_t_
Aig_Obj_t_
Aig_RMan_t_
Aig_Sto_t_
Aig_Tru_t_
Aig_Tsi_t_
Aig_VSig_t_
aigPoIndices
Amap_Cut_t_
Amap_Gat_t_
Amap_Item_t_
Amap_Lib_t_
Amap_Man_t_
Amap_Mat_t_
Amap_Nod_t_
Amap_Obj_t_
Amap_Out_t_
Amap_Pair_t_
Amap_Par_t_
Amap_Pin_t_
Amap_Set_t_
Amap_Tree_t_
antecedentConsequentVectorsStruct
ApproxInfo
AssortedInfo
Attr_ManStruct_t_
Au_Man_t_
Au_Ntk_t_
Au_Obj_t_
avl_generator_struct
avl_node_struct
avl_tree_struct
Bal_Cut_t_
Bal_Man_t_
Bar_Progress_t_	DECLARATIONS ///
Bbl_Ent_t_
Bbl_Fnc_t_
Bbl_Man_t_
Bbl_Obj_t_
Bbr_ImageNode_t_
Bbr_ImagePart_t_
Bbr_ImageTree2_t_
Bbr_ImageTree_t_
Bbr_ImageVar_t_
Bdc_Ent_t_
Bdc_Fun_t_
Bdc_Isf_t_
Bdc_Man_t_
Bdc_Nod_t_
Bdc_Par_t_
Bmc_AndPar_t_
Bmc_BCorePar_t_
Bmc_Load_t_
Bmc_Mna_t_
Bmc_MulPar_t_
Bmc_ParFf_t_
Buf_Man_t_
buflist
Bus_Man_t_
bz2file
bz_stream
bzFile
Cba_Man_t_
Cba_Ntk_t_
Cba_Prs_t_
Cbs0_Man_t_
Cbs0_Par_t_
Cbs0_Que_t_
Cbs_Man_t_
Cbs_Par_t_
Cbs_Que_t_
Ccf_Man_t_
cdata_struct
Cec_ManFra_t_
Cec_ManPat_t_
Cec_ManSat_t_
Cec_ManSim_t_
Cec_ParCec_t_
Cec_ParChc_t_
Cec_ParCor_t_
Cec_ParFra_t_
Cec_ParSat_t_
Cec_ParSeq_t_
Cec_ParSim_t_
Cec_ParSmf_t_
Cgt_Man_t_
Cgt_Par_t_
Cla_Man_t_
clause_t
cloudCacheEntry1
cloudCacheEntry2
cloudCacheEntry3
cloudManager
cloudNode
Clu_Man_t_
Cnf_Cut_t_
Cnf_Dat_t_
Cnf_Man_t_
code
Cof_Fan_t_
Cof_Man_t_
Cof_Obj_t_
coloring
ConcreteCell
ConcreteNet
config_s
Conjuncts
cost_struct
Cov_Man_t_
Cov_Obj_t_
Csw_Cut_t_
Csw_Man_t_
ct_data_s
cube_struct
cuddPathPair
Cut_Cell_t_
Cut_CMan_t_
Cut_CutStruct_t_
Cut_ListStruct_t_
Cut_ManStruct_t_
Cut_OracleStruct_t_	DECLARATIONS ///
Cut_ParamsStruct_t_
cycleCtr
Dam_Man_t_
Dar_Cut_t_
Dar_Lib_t_
Dar_LibDat_t_
Dar_LibObj_t_
Dar_Man_t_
Dar_RefPar_t_
Dar_RwrPar_t_
Dau_Dsd_t_
Dau_Sto_t_
Dch_Cla_t_
Dch_Man_t_
Dch_Pars_t_
DdCache
DdChildren
DdGen
DdHashItem
DdHashTable
DdHook
DdLevelQueue
DdLocalCache
DdLocalCacheItem
DdManager
DdNode
DdQueueItem
DdSubtable
DdTlcInfo
Dec_Edge_t_
Dec_Graph_t_
Dec_Man_t_
Dec_Node_t_
Dsd_Cache_t_
Dsd_Entry_t_
Dsd_Manager_t_	STRUCTURE DEFINITIONS ///
Dsd_Node_t_
Dss_Ent_t_
Dss_Fun_t_
Dss_Man_t_
Dss_Ntk_t_
Dss_Obj_t_
DState
Dua_Dsd_t_
Dua_Obj_t_
Emb_Man_t_
Emb_Obj_t_
Emb_Par_t_
EpDoubleStruct
EpTypeUnion
EState
Extra_BitMat_t_
Extra_FileReader_t_
Extra_ImageNode_t_
Extra_ImagePart_t_
Extra_ImageTree2_t_
Extra_ImageTree_t_
Extra_ImageVar_t_
Extra_MmFixed_t_
Extra_MmFlex_t_
Extra_MmStep_t_
Extra_SymmInfo_t_
Extra_UnateInfo_t_
Extra_UnateVar_t_
Faig_Man_t_
FM_cell
Fpga_CutStruct_t_
Fpga_CutTableStrutct_t
Fpga_LutLibStruct_t_
Fpga_ManStruct_t_	STRUCTURE DEFINITIONS ///
Fpga_NodeStruct_t_
Fpga_NodeVecStruct_t_
Fra_Bmc_t_	DECLARATIONS ///
Fra_Cla_t_
Fra_Lcr_t_
Fra_Man_t_
Fra_Par_t_
Fra_Sec_t_
Fra_Sml_t_
Fra_Ssw_t_
Fraig_HashTableStruct_t_
Fraig_ManStruct_t_
Fraig_MemFixed_t_	DECLARATIONS ///
Fraig_NodeStruct_t_
Fraig_NodeVecStruct_t_
Fraig_ParamsStruct_t_
Frc_Man_t_
Frc_Obj_t_
Fsim_Man_t_
Fsim_Obj_t_
Fsim_ParSim_t_
Fsim_ParSwitch_t_
Fx_Man_t_
FxuCube
FxuDataStruct
FxuDouble
FxuHeapDouble
FxuHeapSingle
FxuListCube
FxuListDouble
FxuListLit
FxuListPair
FxuListSingle
FxuListVar
FxuLit
FxuMatrix
FxuPair
FxuSingle
FxuVar
Ga2_Man_t_
Gia_Iso2Man_t_
Gia_IsoMan_t_
Gia_Man_t_
Gia_ManAre_t_
Gia_ManBmc_t_
Gia_ManEra_t_
Gia_ManFra_t_
Gia_ManSat_t_
Gia_ManSim_t_
Gia_ManSup_t_
Gia_ManSwi_t_
Gia_ManTer_t_
Gia_ManUnr_t_
Gia_MmFixed_t_	DECLARATIONS ///
Gia_MmFlex_t_
Gia_MmStep_t_
Gia_Obj_t_
Gia_ObjAre_t_
Gia_ObjEra_t_
Gia_ObjSat1_t_
Gia_ObjSat2_t_
Gia_ObjSat_t_
Gia_ParAbs_t_
Gia_ParFra_t_
Gia_ParLlb_t_
Gia_ParSim_t_
Gia_ParSwi_t_
Gia_Plc_t_
Gia_PtrAre_t_
Gia_PtrAreInt_t_
Gia_Rpr_t_
Gia_Sim2_t_
Gia_StaAre_t_
Gla_Man_t_
Gla_Obj_t_
Gli_Man_t_
Gli_Obj_t_
GlobalQueueItem
Gps_Par_t_
gz_header_s
gz_state
hack
hash_element
Hash_Flt_Entry_t_
Hash_Flt_t_
Hash_Gen_Entry_t_
Hash_Gen_t_
Hash_Int_Entry_t_
Hash_Int_t_
Hash_IntMan_t_
Hash_IntObj_t_
Hash_Ptr_Entry_t_
Hash_Ptr_t_
hashEntry
Hcd_Man_t_
Hcd_Pars_t_
Hop_Man_t_
Hop_Obj_t_
Hsh_IntMan_t_
Hsh_IntObj_t_
Hsh_IntObjWord_t_
Hsh_VecMan_t_
Hsh_VecObj_t_
IeeeDoubleStruct
IeeeNanStruct
If_Box_t_
If_Cut_t_
If_DsdMan_t_
If_DsdObj_t_
If_Grp_t_
If_Hte_t_
If_LibBox_t_
If_LibLut_t_
If_Man_t_
If_Obj_t_
If_Par_t_
If_Set_t_
Ifd_Man_t_
Ifd_Obj_t_
Iff_Man_t_
Ifif_Par_t_
Ifn_Ntk_t_
Ifn_Obj_t_
inflate_state
Int2_Man_t_	DECLARATIONS ///
Int2_ManPars_t_
Int_Des_t_
Int_Man_t_
Int_Ntk_t_
Int_Obj_t_
Inta_Man_t_
Intb_Man_t_
Inter_Check_t_	DECLARATIONS ///
Inter_Man_t_
Inter_ManParams_t_
internal_state
Intp_Man_t_
Io_BlifMan_t_
Io_BlifObj_t_
Io_MvMan_t_
Io_MvMod_t_
Io_MvVar_t_
Io_ReadBlif_t_
Iso_Dat2_t_
Iso_Dat_t_
Iso_Man_t_
Iso_Obj_t_
Iso_Sto_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_
Jf_Cut_t_
Jf_Man_t_
Jf_Par_t_
Kit_DsdMan_t_
Kit_DsdNtk_t_
Kit_DsdObj_t_
Kit_Edge_t_
Kit_Graph_t_
Kit_ManDec_t_
Kit_Mux_t_
Kit_Node_t_
Kit_Sop_t_
Lf_Bst_t_
Lf_Cut_t_
Lf_Man_t_
Lf_Mem_t_
Lf_Plc_t_
Literal_t_
Llb_Grp_t_
Llb_Img_t_
Llb_Man_t_
Llb_Mgr_t_
Llb_Mnn_t_
Llb_Mnx_t_
Llb_Mtr_t_
Llb_Prt_t_
Llb_Var_t_
Lms_Man_t_
LocalQueueItem
Lpk_Cut_t_
Lpk_Fun_t_
Lpk_Man_t_
Lpk_Par_t_
Lpk_Res_t_
Lpk_Set_t_
ltlNode_t
LUT	Type definitions ///
Map_CutStruct_t_
Map_CutTableStrutct_t
Map_HashEntryStruct_t_
Map_HashTableStruct_t_
Map_ManStruct_t_	STRUCTURE DEFINITIONS ///
Map_MatchStruct_t_
Map_NodeStruct_t_
Map_NodeVecStruct_t_
Map_SuperLibStruct_t_
Map_SuperStruct_t_
Map_TimeStruct_t_
MarkCacheKey
Mem_Fixed_t_	DECLARATIONS ///
Mem_Flex_t_
Mem_Step_t_
Mf_Cut_t_
Mf_Man_t_
Mf_Obj_t_
Mfs_Man_t_
Mfs_Par_t_
Mig_Fan_t_
Mig_Man_t_
Mig_Obj_t_
Min_Cube_t_
Min_Man_t_
Mini_Aig_t_
Mio_Cell_t_
Mio_GateStruct_t_
Mio_LibraryStruct_t_	STRUCTURE DEFINITIONS ///
Mio_PinStruct_t_
Mmr_Fixed_t_
Mmr_Flex_t_
Mmr_Step_t_
monotoneVectorsStruct
Move
Mpm_Cut_t_
Mpm_Dsd_t_
Mpm_LibLut_t_
Mpm_Man_t_
Mpm_Par_t_
Mpm_Uni_t_
Msat_Clause_t_	DECLARATIONS ///
Msat_ClauseVec_t_
Msat_IntVec_t_
Msat_MmFixed_t_	DECLARATIONS ///
Msat_MmFlex_t_
Msat_MmStep_t_
Msat_Order_t_	DECLARATIONS ///
Msat_OrderRing_t_
Msat_OrderVar_t_
Msat_Queue_t_	DECLARATIONS ///
Msat_SearchParams_t_
Msat_Solver_t_
Msat_SolverStats_t_
MtrNode
Mux_Man_t_
Mv_Man_t_
MvAlias
MvcCoverStruct
MvcCubeStruct
MvcDataStruct
MvcListStruct
MvcManagerStruct
MvCommand	INCLUDES ///
Nf_Cut_t_
Nf_Man_t_
Nf_Mat_t_
Nf_Obj_t_
Nm_Entry_t_
Nm_Man_t_
NodeData
NodeDist
NodeStat
Npn_Man_t_
Npn_Obj_t_
Nwk_Edg_t_
Nwk_Grf_t_
Nwk_LMPars_t_
Nwk_Man_t_
Nwk_Obj_t_
Nwk_Vrt_t_
Odc_Man_t_
Odc_Obj_t_
Opa_Man_t_
pair_struct
ParseStackFnStruct	DECLARATIONS ///
ParseStackOpStruct
Part_Man_t_
Part_One_t_
Partition
Pdr_Man_t_
Pdr_Obl_t_
Pdr_Par_t_
Pdr_Set_t_
permInfo
PLA_t
pla_types_struct
Pr_Cls_t_
Pr_Man_t_
Prf_Man_t_
ProgressBarStruct	DECLARATIONS ///
Prove_ParamsStruct_t_
Qbf_Man_t_
qps_problem
Raig_Man_t_
Rect
reduceDB_lt
Ref_Man_t_
Res_Man_t_
Res_Par_t_
Res_Sim_t_
Res_Win_t_
reverseCOG
Rf2_Man_t_
Rf2_Obj_t_
Rfn_Obj_t_
Rnm_Man_t_
Rnm_Obj_t_
Rpo_LCI_Edge_t_
Rpo_Man_t_
Rpo_TtStore_t_
Rsb_Man_t_	INCLUDES ///
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_
Saig_Bmc_t_
Saig_ManCba_t_
Saig_MvAnd_t_
Saig_MvMan_t_
Saig_MvObj_t_
Saig_ParBbr_t_
Saig_ParBmc_t_
Saig_RefMan_t_
Saig_SimObj_t_
Saig_Tsim_t_
Sat_Mem_t_
Sat_MmFixed_t_	DECLARATIONS ///
Sat_MmFlex_t_
Sat_MmStep_t_
sat_solver2_t
sat_solver_t
satset_t
saucy
saucy_graph
saucy_stats
SC_BusPars_
SC_Cell_
SC_Lib_
SC_Man_
SC_Pair_
SC_Pin_
SC_SizePars_
SC_Surface_
SC_TableTempl_
SC_Time_
SC_Timing_
SC_Timings_
SC_WireLoad_
SC_WireLoadSel_
Scl_Item_t_
Scl_Pair_t_
Scl_Tree_t_
Sdm_Dsd_t_
Sdm_Man_t_
Sec_MtrStatus_t_
set_family
Sfm_Ntk_t_	BASIC TYPES ///
Sfm_Par_t_
Shr_Fan_t_
Shr_Man_t_
Sim_Man_t_
Sim_Pat_t_
sim_result
sm_col_struct
sm_element_struct
sm_matrix_struct
sm_row_struct
solution_struct
Ssc_Man_t_
Ssc_Pars_t_
Ssw_Cla_t_
Ssw_Frm_t_
Ssw_Man_t_
Ssw_Pars_t_
Ssw_RarMan_t_
Ssw_RarPars_t_
Ssw_Sat_t_
Ssw_Sem_t_
Ssw_Sml_t_	DECLARATIONS ///
st__generator
st__table
st__table_entry
static_tree_desc_s
stats_struct
stats_t
stmm_generator
stmm_table
stmm_table_entry
Sto_Cls_t_
Sto_Man_t_
Str_Edg_t_
Str_Man_t_
Str_Mux_t_
Str_Ntk_t_
Str_Obj_t_
Super2_GateStruct_t_
Super2_LibStruct_t_
Super2_ManStruct_t_
Super_GateStruct_t_
Super_ManStruct_t_
Supp_Man_t_
Supp_One_t_
swapInfo
Swp_Man_t_
Sym_Man_t_
symbolic_label_struct
symbolic_list_struct
symbolic_struct
Tas_Cls_t_
Tas_Man_t_
Tas_Par_t_
Tas_Que_t_
Tas_Sto_t_
Tas_Var_t_
Tim_Box_t_
Tim_Man_t_
Tim_Obj_t_
TlClause
traventry
tree_desc_s
Tru_Man_t_	DECLARATIONS ///
Tru_One_t_
Tst_Dat_t_
Unm_Man_t_
Unr_Man_t_
Unr_Obj_t_
varInfo
varinfo2_t
varinfo_t
Vec_Att_t_
Vec_Bit_t_
Vec_Flt_t_
Vec_Int_t_
Vec_Mem_t_
Vec_Ptr_t_
Vec_Que_t_
Vec_Set_t_
Vec_Str_t_
Vec_Vec_t_
Vec_Wec_t_
Vec_Wrd_t_
veci_t
vecp_t
Ver_Bundle_t_
Ver_Man_t_
Ver_Stream_t_
Vta_Man_t_
Vta_Obj_t_
Wlc_Ntk_t_
Wlc_Obj_t_
Wlc_Prs_t_
Xyz_ManTry_t_
Xyz_ParTry_t_
z_stream_s