C++ (Cpp) MemoryPools::resize Examples

Example #1

File: Cardinality.hpp Project: DanielKowalczyk1984/WCTimpl

 void initialize(int level)
 {
     topLevel = level;
     pools.resize(topLevel + 1);
     size_t max = topLevel / 63 + 1;
     tmp1.setArray(pools[topLevel].template allocate<uint64_t>(max));
     tmp2.setArray(pools[topLevel].template allocate<uint64_t>(max));
 }

Example #2

File: Cardinality.hpp Project: pombredanne/TdZdd

    void initialize(int level) {
        topLevel = level;
        pools.resize(topLevel + 1);

        int max = ceil(double(topLevel) * log2(double(ARITY)) / 63.0) + 1;
        tmp1.setArray(pools[topLevel].allocate<uint64_t>(max));
        tmp2.setArray(pools[topLevel].allocate<uint64_t>(max));
        tmp3.setArray(pools[topLevel].allocate<uint64_t>(max));
    }