Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Minisat::Internal::ClauseAllocator Member List

This is the complete list of members for Minisat::Internal::ClauseAllocator, including all inherited members.

ael(const Clause *t)Minisat::Internal::ClauseAllocatorinline
RegionAllocator< uint32_t >::ael(const uint32_t *t)Minisat::Internal::RegionAllocator< uint32_t >inline
alloc(const Lits &ps, bool learnt=false)Minisat::Internal::ClauseAllocatorinline
RegionAllocator< uint32_t >::alloc(int size)Minisat::Internal::RegionAllocator< uint32_t >
capMinisat::Internal::RegionAllocator< uint32_t >private
capacity(uint32_t min_cap)Minisat::Internal::RegionAllocator< uint32_t >private
ClauseAllocator(uint32_t start_cap)Minisat::Internal::ClauseAllocatorinline
ClauseAllocator()Minisat::Internal::ClauseAllocatorinline
clauseWord32Size(int size, bool has_extra)Minisat::Internal::ClauseAllocatorinlineprivatestatic
extra_clause_fieldMinisat::Internal::ClauseAllocator
free(CRef cid)Minisat::Internal::ClauseAllocatorinline
RegionAllocator< uint32_t >::free(int size)Minisat::Internal::RegionAllocator< uint32_t >inline
lea(Ref r)Minisat::Internal::ClauseAllocatorinline
lea(Ref r) constMinisat::Internal::ClauseAllocatorinline
memoryMinisat::Internal::RegionAllocator< uint32_t >private
moveTo(ClauseAllocator &to)Minisat::Internal::ClauseAllocatorinline
RegionAllocator< uint32_t >::moveTo(RegionAllocator &to)Minisat::Internal::RegionAllocator< uint32_t >inline
operator[](Ref r)Minisat::Internal::ClauseAllocatorinline
operator[](Ref r) constMinisat::Internal::ClauseAllocatorinline
Ref typedefMinisat::Internal::RegionAllocator< uint32_t >
Ref_Undef enum valueMinisat::Internal::RegionAllocator< uint32_t >
RegionAllocator(uint32_t start_cap=1024 *1024)Minisat::Internal::RegionAllocator< uint32_t >inlineexplicit
reloc(CRef &cr, ClauseAllocator &to)Minisat::Internal::ClauseAllocatorinline
size() constMinisat::Internal::RegionAllocator< uint32_t >inline
szMinisat::Internal::RegionAllocator< uint32_t >private
Unit_Size enum valueMinisat::Internal::RegionAllocator< uint32_t >
wasted() constMinisat::Internal::RegionAllocator< uint32_t >inline
wasted_Minisat::Internal::RegionAllocator< uint32_t >private
~RegionAllocator()Minisat::Internal::RegionAllocator< uint32_t >inline