ClockVariable.h

Go to the documentation of this file.

#pragma once
 
#include <map>
 
#include "storm/storage/prism/Variable.h"
 
namespace storm {
namespace prism {
class ClockVariable : public Variable {
   public:
    // Create default implementations of constructors/assignment.
    ClockVariable() = default;
    ClockVariable(ClockVariable const& other) = default;
    ClockVariable& operator=(ClockVariable const& other) = default;
    ClockVariable(ClockVariable&& other) = default;
    ClockVariable& operator=(ClockVariable&& other) = default;
 
    ClockVariable(storm::expressions::Variable const& variable, bool observable, std::string const& filename = "", uint_fast64_t lineNumber = 0);
 
    virtual void createMissingInitialValue() override;
 
    friend std::ostream& operator<<(std::ostream& stream, ClockVariable const& variable);
};
 
}  // namespace prism
}  // namespace storm