Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SettingsUtils.h
Go to the documentation of this file.
1#pragma once
2
3namespace storm {
4namespace cli {
5
9bool preferEliminationChecker();
10
11} // namespace cli
12} // namespace storm
storm::cli::preferEliminationChecker
bool preferEliminationChecker()
Returns whether the settings request to prefer the dedicated elimination model checker.
Definition SettingsUtils.cpp:11