26 void setArrayIndex(std::vector<storm::expressions::Expression>
const& newIndex);
46 std::vector<storm::expressions::Expression> arrayIndexVector;
bool arrayIndexContainsVariable() const
friend std::ostream & operator<<(std::ostream &stream, LValue const &lvalue)
bool operator==(LValue const &other) const
bool isFullArrayAccess() const
Returns true if the lValue refers to an array access.
std::string getName() const
void addArrayAccessIndex(storm::expressions::Expression const &index)
Adds an array access index.
void setArrayIndex(std::vector< storm::expressions::Expression > const &newIndex)
LValue changeAssignmentVariables(std::map< Variable const *, std::reference_wrapper< Variable const > > const &remapping) const
bool operator<(LValue const &other) const
bool isArray() const
Returns true if the lValue refers to a variable (potentially of type array).
std::vector< storm::expressions::Expression > & getArrayIndexVector()
Returns the referred variable. In case of an array access, this is the referred array variable.
bool isArrayAccess() const
Returns true if the lValue refers either to an array variable or to an array access.
storm::jani::Variable const & getVariable() const
To check if the array is fully accessed, so result will be of the most inner child Type....