ExplorationOrder.h

Go to the documentation of this file.

#ifndef STORM_BUILDER_EXPLORATIONORDER_H_
#define STORM_BUILDER_EXPLORATIONORDER_H_
 
#include <ostream>
 
namespace storm {
namespace builder {
 
// An enum that contains all currently supported exploration orders.
enum class ExplorationOrder { Dfs, Bfs };
 
std::ostream& operator<<(std::ostream& out, ExplorationOrder const& order);
 
}  // namespace builder
}  // namespace storm
 
#endif /* STORM_BUILDER_EXPLORATIONORDER_H_ */