rescala
API
Generated with
rescala/rescala/rescala.fullmv/SCCConnectivity

SCCConnectivity

rescala.fullmv.SCCConnectivity
sealed trait SCCConnectivity extends SCCState

Attributes

Graph
Supertypes
trait SCCState
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

override def known: UnlockedSameSCC.type

Attributes

Definition Classes

Inherited methods

def unlockedIfLocked(): SCCConnectivity

Attributes

Inherited from:
SCCState
Generated with