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::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 AutomaticSettings.cpp:13