Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
RegionCheckEngine.h
Go to the documentation of this file.
1#pragma once
2
3#include <ostream>
4
5namespace storm {
6namespace modelchecker {
16
17std::ostream& operator<<(std::ostream& os, RegionCheckEngine const& regionCheckResult);
18} // namespace modelchecker
19} // namespace storm
std::ostream & operator<<(std::ostream &os, RegionCheckEngine const &e)
RegionCheckEngine
The considered engine for region checking.
@ ParameterLifting
Parameter lifting approach.
@ ValidatingParameterLifting
Parameter lifting approach with a) inexact (and fast) computation first and b) exact validation of ob...
@ ExactParameterLifting
Parameter lifting approach with exact arithmethics.
LabParser.cpp.
Definition cli.cpp:18