37 auto const* replInfo =
this;
38 for (
auto const& i : arrayIndexVector) {
39 STORM_LOG_ASSERT(!replInfo->isInformationIndex(),
"unexpected array replacement information.");
41 "Array access evaluates to array index " << i <<
" which is out of bounds as the array size is " << replInfo->getNumberOfChildren());
42 replInfo = &replInfo->getChild(i);
44 STORM_LOG_ASSERT(replInfo->isInformationIndex(),
"unexpected array replacement information.");
45 return replInfo->getInformationIndex();