Member predicate ArrayExpr::isModified
Holds if this array access is in a position where it is (directly) modified, for instance by an assignment or an increment/decrement operation.
predicate isModified()
Holds if this array access is in a position where it is (directly) modified, for instance by an assignment or an increment/decrement operation.
predicate isModified()