8 std::string
const& filename, uint_fast64_t lineNumber)
9 :
Variable(variable, initialValueExpression, observable, filename, lineNumber) {
34 stream << variable.
getName() <<
": bool";
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 substituteNonStandardPredicates() const
BooleanVariable()=default
storm::expressions::Expression const & getInitialValueExpression() const
Retrieves the expression defining the initial value of the variable.
storm::expressions::Variable const & getExpressionVariable() const
Retrieves the expression variable associated with this variable.
void setInitialValueExpression(storm::expressions::Expression const &initialValueExpression)
Sets the expression defining the initial value of the variable.
std::string const & getName() const
Retrieves the name of the variable.
bool hasInitialValue() const
Retrieves whether the variable has an initial value.
bool isObservable() const
Retrieves whether the variable is observable.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)