isAnOutdatedSnapshot
TransactionValidator
isDestroyed
Ref
isDirty
Ref
isRead
RefSnapshot
isReadDestroyedFlag
RefSnapshot
isWrite
RefSnapshot