RemoteBlocked
rescala.fullmv.mirrors.RemoteBlocked
case class RemoteBlocked(newRoot: SubsumableLock) extends RemoteTrySubsumeResult, RemoteTryLockResult
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait RemoteTryLockResulttrait RemoteTrySubsumeResultclass Objecttrait Matchableclass Any
Members list
In this article