#include <Label.h>
Definition at line 20 of file Label.h.
◆ Label() [1/4]
storm::prism::Label::Label |
( |
std::string const & |
name, |
|
|
storm::expressions::Expression const & |
statePredicateExpression, |
|
|
std::string const & |
filename = "" , |
|
|
uint_fast64_t |
lineNumber = 0 |
|
) |
| |
Creates a label with the given name and state predicate expression.
- Parameters
-
name | The name of the label. |
statePredicateExpression | The predicate that needs to hold before taking a transition with the previously specified name in order to obtain the reward. |
filename | The filename in which the transition reward is defined. |
lineNumber | The line number in which the transition reward is defined. |
Definition at line 6 of file Label.cpp.
◆ Label() [2/4]
storm::prism::Label::Label |
( |
| ) |
|
|
default |
◆ Label() [3/4]
storm::prism::Label::Label |
( |
Label const & |
other | ) |
|
|
default |
◆ Label() [4/4]
storm::prism::Label::Label |
( |
Label && |
other | ) |
|
|
default |
◆ getName()
std::string const & storm::prism::Label::getName |
( |
| ) |
const |
Retrieves the name that is associated with this label.
- Returns
- The name that is associated with this label.
Definition at line 11 of file Label.cpp.
◆ getStatePredicateExpression()
Retrieves the state predicate expression that is associated with this label.
- Returns
- The state predicate expression that is associated with this label.
Definition at line 15 of file Label.cpp.
◆ operator=() [1/2]
Label & storm::prism::Label::operator= |
( |
Label && |
other | ) |
|
|
default |
◆ operator=() [2/2]
Label & storm::prism::Label::operator= |
( |
Label const & |
other | ) |
|
|
default |
◆ substitute()
Substitutes all identifiers in the expression of the label according to the given map.
- Parameters
-
substitution | The substitution to perform. |
- Returns
- The resulting label.
Definition at line 19 of file Label.cpp.
◆ substituteNonStandardPredicates()
Label storm::prism::Label::substituteNonStandardPredicates |
( |
| ) |
const |
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & |
stream, |
|
|
Label const & |
label |
|
) |
| |
|
friend |
The documentation for this class was generated from the following files: