Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
BooleanVariable.h
Go to the documentation of this file.
1#ifndef STORM_STORAGE_PRISM_BOOLEANVARIABLE_H_
2#define STORM_STORAGE_PRISM_BOOLEANVARIABLE_H_
3
4#include <map>
5
7
8namespace storm {
9namespace prism {
10class BooleanVariable : public Variable {
11 public:
12 // Create default implementations of constructors/assignment.
13 BooleanVariable() = default;
14 BooleanVariable(BooleanVariable const& other) = default;
15 BooleanVariable& operator=(BooleanVariable const& other) = default;
16 BooleanVariable(BooleanVariable&& other) = default;
18
27 BooleanVariable(storm::expressions::Variable const& variable, storm::expressions::Expression const& initialValueExpression, bool observable,
28 std::string const& filename = "", uint_fast64_t lineNumber = 0);
29
36 BooleanVariable substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const;
38
39 virtual void createMissingInitialValue() override;
40
41 friend std::ostream& operator<<(std::ostream& stream, BooleanVariable const& variable);
42};
43
44} // namespace prism
45} // namespace storm
46
47#endif /* STORM_STORAGE_PRISM_BOOLEANVARIABLE_H_ */
virtual void createMissingInitialValue() override
Equips the variable with an initial value based on its type if not initial value is present.
BooleanVariable substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the boolean variable according to the given map.
BooleanVariable(BooleanVariable &&other)=default
BooleanVariable & operator=(BooleanVariable const &other)=default
BooleanVariable substituteNonStandardPredicates() const
BooleanVariable(BooleanVariable const &other)=default
friend std::ostream & operator<<(std::ostream &stream, BooleanVariable const &variable)
BooleanVariable & operator=(BooleanVariable &&other)=default
LabParser.cpp.