ExplorationQueueOrder.h

Go to the documentation of this file.

#pragma once
namespace storm::pomdp::beliefs {
enum class ExplorationQueueOrder { Unordered, FIFO, LIFO };
}  // namespace storm::pomdp::beliefs