| ael(const Clause *t) | Minisat::Internal::ClauseAllocator | inline |
| RegionAllocator< uint32_t >::ael(const uint32_t *t) | Minisat::Internal::RegionAllocator< uint32_t > | inline |
| alloc(const Lits &ps, bool learnt=false) | Minisat::Internal::ClauseAllocator | inline |
| RegionAllocator< uint32_t >::alloc(int size) | Minisat::Internal::RegionAllocator< uint32_t > | |
| cap | Minisat::Internal::RegionAllocator< uint32_t > | private |
| capacity(uint32_t min_cap) | Minisat::Internal::RegionAllocator< uint32_t > | private |
| ClauseAllocator(uint32_t start_cap) | Minisat::Internal::ClauseAllocator | inline |
| ClauseAllocator() | Minisat::Internal::ClauseAllocator | inline |
| clauseWord32Size(int size, bool has_extra) | Minisat::Internal::ClauseAllocator | inlineprivatestatic |
| extra_clause_field | Minisat::Internal::ClauseAllocator | |
| free(CRef cid) | Minisat::Internal::ClauseAllocator | inline |
| RegionAllocator< uint32_t >::free(int size) | Minisat::Internal::RegionAllocator< uint32_t > | inline |
| lea(Ref r) | Minisat::Internal::ClauseAllocator | inline |
| lea(Ref r) const | Minisat::Internal::ClauseAllocator | inline |
| memory | Minisat::Internal::RegionAllocator< uint32_t > | private |
| moveTo(ClauseAllocator &to) | Minisat::Internal::ClauseAllocator | inline |
| RegionAllocator< uint32_t >::moveTo(RegionAllocator &to) | Minisat::Internal::RegionAllocator< uint32_t > | inline |
| operator[](Ref r) | Minisat::Internal::ClauseAllocator | inline |
| operator[](Ref r) const | Minisat::Internal::ClauseAllocator | inline |
| Ref typedef | Minisat::Internal::RegionAllocator< uint32_t > | |
| Ref_Undef enum value | Minisat::Internal::RegionAllocator< uint32_t > | |
| RegionAllocator(uint32_t start_cap=1024 *1024) | Minisat::Internal::RegionAllocator< uint32_t > | inlineexplicit |
| reloc(CRef &cr, ClauseAllocator &to) | Minisat::Internal::ClauseAllocator | inline |
| size() const | Minisat::Internal::RegionAllocator< uint32_t > | inline |
| sz | Minisat::Internal::RegionAllocator< uint32_t > | private |
| Unit_Size enum value | Minisat::Internal::RegionAllocator< uint32_t > | |
| wasted() const | Minisat::Internal::RegionAllocator< uint32_t > | inline |
| wasted_ | Minisat::Internal::RegionAllocator< uint32_t > | private |
| ~RegionAllocator() | Minisat::Internal::RegionAllocator< uint32_t > | inline |
