Generated with

rescala/rescala/rescala.fullmv/rescala.fullmv.sgt.synchronization/TrySubsumeResult0

TrySubsumeResult0

rescala.fullmv.sgt.synchronization.TrySubsumeResult0

sealed trait TrySubsumeResult0

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Blocked0

object GarbageCollected0

class Successful0

In this article

Generated with