d2/dd7/_region_result_hypothesis_8h_source.html

#pragma once


#include <ostream>


namespace storm {

namespace modelchecker {

enum class RegionResultHypothesis { Unknown, AllSat, AllViolated };


std::ostream& operator<<(std::ostream& os, RegionResultHypothesis const& regionResultHypothesis);

}  // namespace modelchecker

}  // namespace storm

storm::modelchecker::operator<<
std::ostream & operator<<(std::ostream &os, RegionCheckEngine const &e)
Definition RegionCheckEngine.cpp:8

storm::modelchecker::RegionResult::AllSat
@ AllSat
the formula is satisfied for all parameters in the given region

storm::modelchecker::RegionResult::AllViolated
@ AllViolated
the formula is violated for all parameters in the given region

storm::modelchecker::RegionResult::Unknown
@ Unknown
the result is unknown

storm::modelchecker::RegionResultHypothesis
RegionResultHypothesis
hypothesis for the result for a single Parameter Region
Definition RegionResultHypothesis.h:10

storm
LabParser.cpp.
Definition cli.cpp:18