Mirror
rescala.fullmv.mirrors.Mirror
trait Mirror extends FullMVBundle
Attributes
- Graph
-
- Supertypes
- Known subtypes
- Self type
Members list
Type members
Classlikes
trait FullMVTurnHost extends Host[FullMVTurn]
Attributes
- Supertypes
- Known subtypes
-
class FullMVEngine
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
trait FullMVTurnProxy
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait FullMVTurnclass FullMVTurnImpl
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Inherited classlikes
class FullMVEngine(val timeout: Duration, val schedulerName: String) extends SchedulerImpl[State, TransactionHandle], FullMVTurnHost, HostImpl[FullMVTurn]
Attributes
- Inherited from:
- FullMVBundle
- Supertypes
-
trait HostImpl[FullMVTurn]trait FullMVTurnHosttrait Host[FullMVTurn]trait DynamicScope[State]class Objecttrait Matchableclass AnyShow all
Attributes
- Inherited from:
- FullMVBundle
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object FullMVTurn
Attributes
- Inherited from:
- FullMVBundle
- Supertypes
-
class Objecttrait Matchableclass Any
trait FullMVTurn extends Initializer[State], FullMVTurnProxy, SubsumableLockEntryPoint, Hosted[FullMVTurn]
Attributes
- Inherited from:
- FullMVBundle
- Supertypes
-
trait Hosted[FullMVTurn]trait SubsumableLockEntryPointtrait FullMVTurnProxytrait Initializer[State]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class FullMVTurnImpl
case class TransactionHandle(ti: FullMVTurn) extends Transaction[State]
Attributes
- Inherited from:
- FullMVBundle
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Transaction[State]class Objecttrait Matchableclass AnyShow all
Inherited types
Attributes
- Inherited from:
- FullMVBundle
Attributes
- Inherited from:
- FullMVBundle
Attributes
- Inherited from:
- FullMVBundle
In this article