ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Minisat::ClauseAllocator Member List

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

_free(CRef cid)Minisat::ClauseAllocatorinline
Minisat::RegionAllocator< uint32_t >::_free(int size)Minisat::RegionAllocator< uint32_t >inline
ael(const Clause *t)Minisat::ClauseAllocatorinline
Minisat::RegionAllocator< uint32_t >::ael(const uint32_t *t)Minisat::RegionAllocator< uint32_t >inline
alloc(const Lits &ps, bool learnt=false)Minisat::ClauseAllocatorinline
Minisat::RegionAllocator< uint32_t >::alloc(int size)Minisat::RegionAllocator< uint32_t >
ClauseAllocator(uint32_t start_cap)Minisat::ClauseAllocatorinline
ClauseAllocator()Minisat::ClauseAllocatorinline
extra_clause_fieldMinisat::ClauseAllocator
lea(Ref r)Minisat::ClauseAllocatorinline
lea(Ref r) constMinisat::ClauseAllocatorinline
moveTo(ClauseAllocator &to)Minisat::ClauseAllocatorinline
Minisat::RegionAllocator< uint32_t >::moveTo(RegionAllocator &to)Minisat::RegionAllocator< uint32_t >inline
operator[](Ref r)Minisat::ClauseAllocatorinline
operator[](Ref r) constMinisat::ClauseAllocatorinline
Ref typedefMinisat::RegionAllocator< uint32_t >
Ref_Undef enum valueMinisat::RegionAllocator< uint32_t >
RegionAllocator(uint32_t start_cap=1024 *1024)Minisat::RegionAllocator< uint32_t >inlineexplicit
reloc(CRef &cr, ClauseAllocator &to)Minisat::ClauseAllocatorinline
size() constMinisat::RegionAllocator< uint32_t >inline
Unit_Size enum valueMinisat::RegionAllocator< uint32_t >
wasted() constMinisat::RegionAllocator< uint32_t >inline
~RegionAllocator()Minisat::RegionAllocator< uint32_t >inline