|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for Minisat::RegionAllocator< T >, including all inherited members.
| _free(int size) | Minisat::RegionAllocator< T > | inline |
| ael(const T *t) | Minisat::RegionAllocator< T > | inline |
| alloc(int size) | Minisat::RegionAllocator< T > | |
| lea(Ref r) | Minisat::RegionAllocator< T > | inline |
| lea(Ref r) const | Minisat::RegionAllocator< T > | inline |
| moveTo(RegionAllocator &to) | Minisat::RegionAllocator< T > | inline |
| operator[](Ref r) | Minisat::RegionAllocator< T > | inline |
| operator[](Ref r) const | Minisat::RegionAllocator< T > | inline |
| Ref typedef | Minisat::RegionAllocator< T > | |
| Ref_Undef enum value | Minisat::RegionAllocator< T > | |
| RegionAllocator(uint32_t start_cap=1024 *1024) | Minisat::RegionAllocator< T > | inlineexplicit |
| size() const | Minisat::RegionAllocator< T > | inline |
| Unit_Size enum value | Minisat::RegionAllocator< T > | |
| wasted() const | Minisat::RegionAllocator< T > | inline |
| ~RegionAllocator() | Minisat::RegionAllocator< T > | inline |