rescala
API
Generated with
rescala/rescala/rescala.fullmv/LockedSameSCC

LockedSameSCC

rescala.fullmv.LockedSameSCC
case class LockedSameSCC(lock: SubsumableLock) extends SCCState

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SCCState
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def known: this.type

Attributes

Definition Classes
def unlock(): UnlockedSameSCC.type
override def unlockedIfLocked(): UnlockedSameSCC.type

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with