package fullmv
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class CaseClassTransactionSpanningTreeNode[T](txn: T, children: Array[CaseClassTransactionSpanningTreeNode[T]]) extends TransactionSpanningTreeNode[T] with Product with Serializable
- sealed trait FramingBranchResult[+T, +R] extends AnyRef
- class FullMVApi extends RescalaInterface with FullMVBundle with Mirror with TurnImplBundle with TaskBundle with FullMvStateBundle with SubsumableLockBundle
- trait FullMVBundle extends Core
- trait FullMvStateBundle extends FullMVBundle
- class LinkWithCounters[T] extends AtomicReference[T]
- case class LockedSameSCC(lock: SubsumableLock) extends SCCState with Product with Serializable
- sealed trait MaybeWritten[+V] extends AnyRef
- class MutableTransactionSpanningTreeNode[T] extends TransactionSpanningTreeNode[T]
- sealed trait NotificationBranchResult[+T, +R] extends AnyRef
- sealed trait SCCConnectivity extends SCCState
- sealed trait SCCState extends AnyRef
- trait TransactionSpanningTreeNode[T] extends AnyRef
- trait TurnImplBundle extends FullMVBundle
- case class Written[V](valueForSelf: V, valueForFuture: V) extends MaybeWritten[V] with Product with Serializable
Value Members
- object FramingBranchResult
- object FullMVUtil
- case object NotFinal extends MaybeWritten[Nothing] with Product with Serializable
- object NotificationBranchResult
- object TurnPhase
- case object UnlockedSameSCC extends SCCConnectivity with Product with Serializable
- case object UnlockedUnknown extends SCCConnectivity with Product with Serializable
- case object Unwritten extends MaybeWritten[Nothing] with Product with Serializable