TrySubsumeResult

rescala.fullmv.sgt.synchronization.TrySubsumeResult
sealed trait TrySubsumeResult

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Blocked
object Deallocated
object Successful
In this article