Generated with

rescala/rescala/rescala.fullmv/rescala.fullmv.sgt.synchronization/LockStateResult

LockStateResult

rescala.fullmv.sgt.synchronization.LockStateResult

sealed trait LockStateResult

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object CompletedState

class LockedState

object UnlockedState

In this article

Generated with