text: var class_locked_page_manager_base =
  [
      [ "LockedPageManagerBase", "class_locked_page_manager_base.html#ad1974eafb41a3cae3358e34b7896419a", null ],
      [ "GetLockedPageCount", "class_locked_page_manager_base.html#a8074f7d1b43cc8dd34b3ba9cdb2eca50", null ],
      [ "LockRange", "class_locked_page_manager_base.html#ae24ac08899505b892d451404133fa494", null ],
      [ "UnlockRange", "class_locked_page_manager_base.html#a34bcf7b9120295ed178fe9545ed229af", null ]
  ];