Generated with

rescala/rescala/rescala.fullmv/rescala.fullmv.sgt.synchronization/TrySubsumeResult

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

Generated with