Member predicate ExprNodes::VariableWriteAccessCfgNode::isImplicitWrite
Holds if this access is a write access belonging to an implicit assignment.
predicate isImplicitWrite()
Holds if this access is a write access belonging to an implicit assignment.
predicate isImplicitWrite()