Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SolverStatus.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <ostream>
4
5
namespace
storm
{
6
namespace
solver {
7
8
enum class
SolverStatus
{
Converged
,
TerminatedEarly
,
MaximalIterationsExceeded
,
InProgress
,
Aborted
};
9
10
std::ostream& operator<<(std::ostream& out,
SolverStatus
const
& status);
11
12
}
// namespace solver
13
}
// namespace storm
storm::solver::SolverStatus
SolverStatus
Definition
SolverStatus.h:8
storm::solver::SolverStatus::MaximalIterationsExceeded
@ MaximalIterationsExceeded
storm::solver::SolverStatus::InProgress
@ InProgress
storm::solver::SolverStatus::Aborted
@ Aborted
storm::solver::SolverStatus::Converged
@ Converged
storm::solver::SolverStatus::TerminatedEarly
@ TerminatedEarly
storm
LabParser.cpp.
Definition
AutomaticSettings.cpp:13
src
storm
solver
SolverStatus.h
Generated by
1.9.8