10namespace modelchecker {
11template<
typename ValueType>
31 virtual std::unique_ptr<CheckResult>
clone()
const override;
49 std::vector<scheduler_type> schedulers;
ExplicitParetoCurveCheckResult(ExplicitParetoCurveCheckResult const &other)=default
ExplicitParetoCurveCheckResult(ExplicitParetoCurveCheckResult &&other)=default
ExplicitParetoCurveCheckResult()
storm::storage::sparse::state_type const & getState() const
virtual bool hasScheduler() const override
virtual bool isExplicitParetoCurveCheckResult() const override
typename ParetoCurveCheckResult< ValueType >::point_type point_type
virtual bool isExplicit() const override
ExplicitParetoCurveCheckResult & operator=(ExplicitParetoCurveCheckResult const &other)=default
typename ParetoCurveCheckResult< ValueType >::polytope_type polytope_type
virtual ~ExplicitParetoCurveCheckResult()=default
virtual void filter(QualitativeCheckResult const &filter) override
Filters the current result wrt.
ExplicitParetoCurveCheckResult & operator=(ExplicitParetoCurveCheckResult &&other)=default
virtual std::unique_ptr< CheckResult > clone() const override
std::vector< scheduler_type > const & getSchedulers() const
std::vector< point_type > points
polytope_type underApproximation
std::shared_ptr< storm::storage::geometry::Polytope< ValueType > > polytope_type
polytope_type overApproximation
std::vector< ValueType > point_type
This class defines which action is chosen in a particular state of a non-deterministic model.