Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
EliminationMethod.h
Go to the documentation of this file.
1#pragma once
2
3namespace storm {
4namespace solver {
5namespace stateelimination {
6
10enum class EliminationMethod { State, Scc, Hybrid };
11
12} // namespace stateelimination
13} // namespace solver
14} // namespace storm
storm::solver::stateelimination::EliminationMethod
EliminationMethod
An enum that contains all available elimination methods.
Definition EliminationMethod.h:10