Added implementations of DoubleEdgeAllocator.