Storm
A Modern Probabilistic Model Checker
|
#include <Variable.h>
Public Member Functions | |
Variable () | |
~Variable () | |
Variable (std::shared_ptr< ExpressionManager const > const &manager, uint_fast64_t index) | |
Constructs a variable with the given index and type. | |
Variable (Variable const &other)=default | |
Variable & | operator= (Variable const &other)=default |
Variable (Variable &&other)=default | |
Variable & | operator= (Variable &&other)=default |
bool | operator== (Variable const &other) const |
Checks the two variables for equality. | |
bool | operator!= (Variable const &other) const |
Checks the two variables for inequality. | |
bool | operator< (Variable const &other) const |
Checks whether the variable appears earlier in the total ordering of variables. | |
std::string const & | getName () const |
Retrieves the name of the variable. | |
Type const & | getType () const |
Retrieves the type of the variable. | |
storm::expressions::Expression | getExpression () const |
Retrieves an expression that represents the variable. | |
ExpressionManager const & | getManager () const |
Retrieves the manager responsible for this variable. | |
uint_fast64_t | getIndex () const |
Retrieves the index of the variable. | |
uint_fast64_t | getOffset () const |
Retrieves the offset of the variable in the group of all equally typed variables. | |
bool | hasBooleanType () const |
Checks whether the variable is of boolean type. | |
bool | hasIntegerType () const |
Checks whether the variable is of integral type. | |
bool | hasBitVectorType () const |
Checks whether the variable is of a bit vector type. | |
bool | hasRationalType () const |
Checks whether the variable is of rational type. | |
bool | hasNumericalType () const |
Checks whether the variable is of numerical type. | |
Definition at line 18 of file Variable.h.
storm::expressions::Variable::Variable | ( | ) |
Definition at line 6 of file Variable.cpp.
storm::expressions::Variable::~Variable | ( | ) |
Definition at line 14 of file Variable.cpp.
storm::expressions::Variable::Variable | ( | std::shared_ptr< ExpressionManager const > const & | manager, |
uint_fast64_t | index | ||
) |
Constructs a variable with the given index and type.
manager | The manager that is responsible for this variable. |
index | The (unique) index of the variable. |
Definition at line 10 of file Variable.cpp.
|
default |
|
default |
storm::expressions::Expression storm::expressions::Variable::getExpression | ( | ) | const |
Retrieves an expression that represents the variable.
Definition at line 34 of file Variable.cpp.
uint_fast64_t storm::expressions::Variable::getIndex | ( | ) | const |
Retrieves the index of the variable.
Definition at line 38 of file Variable.cpp.
ExpressionManager const & storm::expressions::Variable::getManager | ( | ) | const |
Retrieves the manager responsible for this variable.
Definition at line 54 of file Variable.cpp.
std::string const & storm::expressions::Variable::getName | ( | ) | const |
Retrieves the name of the variable.
Definition at line 46 of file Variable.cpp.
uint_fast64_t storm::expressions::Variable::getOffset | ( | ) | const |
Retrieves the offset of the variable in the group of all equally typed variables.
Definition at line 42 of file Variable.cpp.
Type const & storm::expressions::Variable::getType | ( | ) | const |
Retrieves the type of the variable.
Definition at line 50 of file Variable.cpp.
bool storm::expressions::Variable::hasBitVectorType | ( | ) | const |
Checks whether the variable is of a bit vector type.
Definition at line 67 of file Variable.cpp.
bool storm::expressions::Variable::hasBooleanType | ( | ) | const |
Checks whether the variable is of boolean type.
Definition at line 59 of file Variable.cpp.
bool storm::expressions::Variable::hasIntegerType | ( | ) | const |
Checks whether the variable is of integral type.
Definition at line 63 of file Variable.cpp.
bool storm::expressions::Variable::hasNumericalType | ( | ) | const |
Checks whether the variable is of numerical type.
Definition at line 75 of file Variable.cpp.
bool storm::expressions::Variable::hasRationalType | ( | ) | const |
Checks whether the variable is of rational type.
Definition at line 71 of file Variable.cpp.
bool storm::expressions::Variable::operator!= | ( | Variable const & | other | ) | const |
Checks the two variables for inequality.
other | The variable to compare with. |
Definition at line 26 of file Variable.cpp.
bool storm::expressions::Variable::operator< | ( | Variable const & | other | ) | const |
Checks whether the variable appears earlier in the total ordering of variables.
other | The variable to compare with. |
Definition at line 30 of file Variable.cpp.
bool storm::expressions::Variable::operator== | ( | Variable const & | other | ) | const |
Checks the two variables for equality.
other | The variable to compare with. |
Definition at line 18 of file Variable.cpp.