BooleanVariable.h

Go to the documentation of this file.

#pragma once
 
#include <map>
 
#include "storm/storage/prism/Variable.h"
 
namespace storm {
namespace prism {
class BooleanVariable : public Variable {
   public:
    // Create default implementations of constructors/assignment.
    BooleanVariable() = default;
    BooleanVariable(BooleanVariable const& other) = default;
    BooleanVariable& operator=(BooleanVariable const& other) = default;
    BooleanVariable(BooleanVariable&& other) = default;
    BooleanVariable& operator=(BooleanVariable&& other) = default;

    BooleanVariable(storm::expressions::Variable const& variable, storm::expressions::Expression const& initialValueExpression, bool observable,
                    std::string const& filename = "", uint_fast64_t lineNumber = 0);

    BooleanVariable substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const;
    BooleanVariable substituteNonStandardPredicates() const;
 
    virtual void createMissingInitialValue() override;
 
    friend std::ostream& operator<<(std::ostream& stream, BooleanVariable const& variable);
};
 
}  // namespace prism
}  // namespace storm