Here is a list of all typedefs with links to the classes they belong to:

• Bag : TreeDecomposition
• const_iterator : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• gate_vector_t : dDNNFTreeDecompositionBuilder
• gates_to_or_t : dDNNFTreeDecompositionBuilder
• hash_t : flat_set< T, Storage, hash >
• item_list : CircuitCache
• item_type : CircuitCache
• iterator : CircuitCache, flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• small_vector : dDNNFTreeDecompositionBuilder, TreeDecomposition
• storage_t : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• suspicious_t : dDNNFTreeDecompositionBuilder
• uuid : Circuit< gateType >
• valuation_t : dDNNFTreeDecompositionBuilder
• value_t : semiring::BoolExpr
• value_type : semiring::Semiring< V >