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

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

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