EliminationOrder.h

Go to the documentation of this file.

#pragma once
 
namespace storm {
namespace solver {
namespace stateelimination {

enum class EliminationOrder { Forward, ForwardReversed, Backward, BackwardReversed, Random, StaticPenalty, DynamicPenalty, RegularExpression };
 
}  // namespace stateelimination
}  // namespace solver
}  // namespace storm