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

- a -

• Attr : Gluco2::Solver::JustKey

- b -

• bsw : Ttopt::TruthTable

- c -

• const_iterator : CaDiCaL::heap< C >, CaDiCaL::Options

- d -

• Data : Gluco2::Solver::JustKey

- g -

• GatesTable : CaDiCaL::Closure

- i -

• iterator : CaDiCaL::heap< C >, CaDiCaL::Options

- k -

• Key : Gluco2::Queue< T >, Gluco2::Solver::JustKey, Gluco::Queue< T >, Minisat::Queue< T >

- r -

• Ref : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >

- t -

• Type : CaDiCaL::analyze_bumped_rank, CaDiCaL::analyze_trail_negative_rank, CaDiCaL::compact_binary_rank, CaDiCaL::congruence_occurrences_rank, CaDiCaL::litpair_rank, CaDiCaL::minimize_trail_level_positive_rank, CaDiCaL::minimize_trail_positive_rank, CaDiCaL::pointer_rank, CaDiCaL::probe_negated_noccs_rank, CaDiCaL::shrink_trail_negative_rank, CaDiCaL::smaller_clause_size_rank, CaDiCaL::smaller_pair_first_rank, CaDiCaL::sort_assumptions_positive_rank, CaDiCaL::sort_literals_by_var_rank, CaDiCaL::sort_literals_by_var_rank_except, CaDiCaL::vivify_inversesize_rank, CaDiCaL::vivify_refcount_rank