ModelCheckerHint.h

Go to the documentation of this file.

#pragma once
 
#include "storm/storage/dd/DdType.h"
 
namespace storm {
namespace modelchecker {
 
template<typename ValueType>
class ExplicitModelCheckerHint;
 
class ModelCheckerHint {
   public:
    ModelCheckerHint() = default;
    virtual ~ModelCheckerHint() = default;
 
    // Returns true iff this hint does not contain any information.
    virtual bool isEmpty() const;
 
    // Returns true iff this is an explicit model checker hint.
    virtual bool isExplicitModelCheckerHint() const;
 
    template<typename ValueType>
    ExplicitModelCheckerHint<ValueType>& asExplicitModelCheckerHint();
 
    template<typename ValueType>
    ExplicitModelCheckerHint<ValueType> const& asExplicitModelCheckerHint() const;
};
 
}  // namespace modelchecker
}  // namespace storm