7 :
LocatedInformation(filename, lineNumber), name(name), statePredicateExpression(statePredicateExpression) {
16 return this->statePredicateExpression;
19Label Label::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression>
const& substitution)
const {
33 uint_fast64_t lineNumber)
34 :
Label(name, statePredicateExpression, filename, lineNumber) {
storm::expressions::Expression const & getStatePredicateExpression() const
Retrieves the state predicate expression that is associated with this label.
Label substituteNonStandardPredicates() const
std::string const & getName() const
Retrieves the name that is associated with this label.
Label substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the expression of the label according to the given map.
ObservationLabel substituteNonStandardPredicates() const
ObservationLabel()=default
ObservationLabel substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the expression of the label according to the given map.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)