#include <Assignment.h>
Definition at line 13 of file Assignment.h.
◆ Assignment() [1/4]
Constructs an assignment using the given variable name and expression.
- Parameters
-
variable | The variable that this assignment targets. |
expression | The expression to assign to the variable. |
filename | The filename in which the assignment is defined. |
lineNumber | The line number in which the assignment is defined. |
Definition at line 5 of file Assignment.cpp.
◆ Assignment() [2/4]
storm::prism::Assignment::Assignment |
( |
| ) |
|
|
default |
◆ Assignment() [3/4]
storm::prism::Assignment::Assignment |
( |
Assignment const & |
other | ) |
|
|
default |
◆ Assignment() [4/4]
storm::prism::Assignment::Assignment |
( |
Assignment && |
other | ) |
|
|
default |
◆ getExpression()
Retrieves the expression that is assigned to the variable.
- Returns
- The expression that is assigned to the variable.
Definition at line 19 of file Assignment.cpp.
◆ getVariable()
Retrieves the variable that is written to by this assignment.
- Returns
- The variable that is written to by this assignment.
Definition at line 15 of file Assignment.cpp.
◆ getVariableName()
std::string const & storm::prism::Assignment::getVariableName |
( |
| ) |
const |
Retrieves the name of the variable that this assignment targets.
- Returns
- The name of the variable that this assignment targets.
Definition at line 11 of file Assignment.cpp.
◆ isIdentity()
bool storm::prism::Assignment::isIdentity |
( |
| ) |
const |
Checks whether the assignment is an identity (lhs equals rhs)
- Returns
- true iff the assignment is of the form a' = a.
Definition at line 31 of file Assignment.cpp.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ substitute()
Substitutes all variables in the assignment according to the given map.
- Parameters
-
substitution | The substitution to perform. |
- Returns
- The resulting assignment.
Definition at line 23 of file Assignment.cpp.
◆ substituteNonStandardPredicates()
Assignment storm::prism::Assignment::substituteNonStandardPredicates |
( |
| ) |
const |
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & |
stream, |
|
|
Assignment const & |
assignment |
|
) |
| |
|
friend |
The documentation for this class was generated from the following files: