Data Structures

Here are the data structures with brief descriptions:

ApproxInfo
array_t
assoc_list_
AssortedInfo
avl_generator_struct
avl_node_struct
avl_tree_struct
bdd_
bdd_external_hooks_struct
bdd_manager_
bdd_t
block_
BlockStruct
bvar_type
cache_
cache_bin_
cache_entry_
CacheEntryStruct
Cal_BddManagerStruct
Cal_BddStruct
Cal_BlockStruct
Cal_RecMgrStruct
CalAssociationStruct
CalBddGenStruct
CalBddNodeStruct
CalCacheTableStruct
CalHashTableStruct
CalNodeManagerStruct
CalPageManagerStruct
cmu_bdd_gen
Conjuncts
cu_bdd_gen
cuddPathPair
DdCache
DdChildren
DdGen
DdHashItem
DdHashTable
DdHook
DdLevelQueue
DdLocalCache
DdLocalCacheItem
DdManager
DdNode
DdQueueItem
DdSubtable
DdTlcInfo
edge_struct
edge_struct_int
EpDoubleStruct
EpTypeUnion
g_field_struct
gen_desc
GlobalQueueItem
graph_struct
graph_struct_int
hack
hack_u
hash_rec_
hash_table_
hashEntry
Heap
HeapSlot
IeeeDoubleStruct
IeeeNanStruct
jump_buf_
list_
list_desc
list_elem
ListStruct
LocalQueueItem
MarkCacheKey
mdd_gen
mdd_hook_type
Move
MtrNode
mvar_type
NodeData
NodeDist
NodeStat
rec_mgr_
segment_
SegmentStruct
sm_col_struct
sm_element_struct
sm_matrix_struct
sm_row_struct
st_generator
st_table
st_table_entry
TlClause
unique_
var_assoc_
var_set_struct
var_table_
vertex_struct
vertex_struct_int