ExplicitQualitativeGameResultMinMax.h

Go to the documentation of this file.

#pragma once
 
#include "storm-gamebased-ar/abstraction/ExplicitQualitativeGameResult.h"
#include "storm-gamebased-ar/abstraction/ExplicitQualitativeResultMinMax.h"
 
namespace storm::gbar {
namespace abstraction {
 
class ExplicitQualitativeGameResultMinMax : public ExplicitQualitativeResultMinMax {
   public:
    ExplicitQualitativeGameResultMinMax() = default;
 
    virtual ExplicitQualitativeGameResult const& getProb0(storm::OptimizationDirection const& dir) const override;
    virtual ExplicitQualitativeGameResult const& getProb1(storm::OptimizationDirection const& dir) const override;
    virtual ExplicitQualitativeGameResult& getProb0(storm::OptimizationDirection const& dir) override;
    virtual ExplicitQualitativeGameResult& getProb1(storm::OptimizationDirection const& dir) override;
 
    ExplicitQualitativeGameResult prob0Min;
    ExplicitQualitativeGameResult prob1Min;
    ExplicitQualitativeGameResult prob0Max;
    ExplicitQualitativeGameResult prob1Max;
};
 
}  // namespace abstraction
}  // namespace storm::gbar