BeliefBasedModelCheckerResult.h

Go to the documentation of this file.

#pragma once
 
#include "storm/utility/ExtendedNumber.h"
 
#include <cstdint>
#include <optional>
 
namespace storm::pomdp::beliefs {

struct BeliefBasedModelCheckerStatistics {
    bool completedExploration = false;
    uint64_t discoveredBeliefs = 0;
    uint64_t exploredBeliefs = 0;
    uint64_t beliefMdpStates = 0;
    uint64_t beliefMdpChoices = 0;
    uint64_t beliefMdpTransitions = 0;
    std::optional<uint64_t> processedMdpStates;
    std::optional<uint64_t> processedMdpChoices;
    std::optional<uint64_t> processedMdpTransitions;
    uint64_t explorationTimeMilliseconds = 0;
    uint64_t beliefMdpBuildTimeMilliseconds = 0;
    uint64_t beliefMdpAnalysisTimeMilliseconds = 0;
};

template<typename BeliefMdpValueType>
struct BeliefBasedModelCheckerResult {
    storm::utility::ExtendedValueType<BeliefMdpValueType> value;
    bool completedExploration = false;
    BeliefBasedModelCheckerStatistics statistics;
};
 
}  // namespace storm::pomdp::beliefs