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

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

ael(const Clause *t)Gluco2::ClauseAllocatorinline
Gluco2::RegionAllocator< uint32_t >::ael(const uint32_t *t)Gluco2::RegionAllocator< uint32_t >inline
alloc(const Lits &ps, bool learnt=false)Gluco2::ClauseAllocatorinline
Gluco2::RegionAllocator< uint32_t >::alloc(int size)Gluco2::RegionAllocator< uint32_t >
ClauseAllocator(uint32_t start_cap)Gluco2::ClauseAllocatorinline
ClauseAllocator()Gluco2::ClauseAllocatorinline
clear()Gluco2::RegionAllocator< uint32_t >inline
extra_clause_fieldGluco2::ClauseAllocator
free_(CRef cid)Gluco2::ClauseAllocatorinline
Gluco2::RegionAllocator< uint32_t >::free_(int size)Gluco2::RegionAllocator< uint32_t >inline
lea(Ref r)Gluco2::ClauseAllocatorinline
lea(Ref r) constGluco2::ClauseAllocatorinline
moveTo(ClauseAllocator &to)Gluco2::ClauseAllocatorinline
Gluco2::RegionAllocator< uint32_t >::moveTo(RegionAllocator &to)Gluco2::RegionAllocator< uint32_t >inline
operator[](Ref r)Gluco2::ClauseAllocatorinline
operator[](Ref r) constGluco2::ClauseAllocatorinline
Ref typedefGluco2::RegionAllocator< uint32_t >
Ref_Undef enum valueGluco2::RegionAllocator< uint32_t >
RegionAllocator(uint32_t start_cap=1024 *1024)Gluco2::RegionAllocator< uint32_t >inlineexplicit
reloc(CRef &cr, ClauseAllocator &to)Gluco2::ClauseAllocatorinline
size() constGluco2::RegionAllocator< uint32_t >inline
Unit_Size enum valueGluco2::RegionAllocator< uint32_t >
wasted() constGluco2::RegionAllocator< uint32_t >inline
~RegionAllocator()Gluco2::RegionAllocator< uint32_t >inline