var classPxDefaultAllocator =
[
    [ "allocate", "classPxDefaultAllocator.html#acaee20fa98b003bde01d690cbccc2c33", null ],
    [ "deallocate", "classPxDefaultAllocator.html#a73221f0158b7740403cd922dca5408fd", null ]
];