Packages

p

rescala

fullmv

package fullmv

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Package Members

  1. package mirrors
  2. package sgt
  3. package tasks

Type Members

  1. case class CaseClassTransactionSpanningTreeNode[T](txn: T, children: Array[CaseClassTransactionSpanningTreeNode[T]]) extends TransactionSpanningTreeNode[T] with Product with Serializable
  2. sealed trait FramingBranchResult[+T, +R] extends AnyRef
  3. class FullMVApi extends RescalaInterface with FullMVBundle with Mirror with TurnImplBundle with TaskBundle with FullMvStateBundle with SubsumableLockBundle
  4. trait FullMVBundle extends Core
  5. trait FullMvStateBundle extends FullMVBundle
  6. class LinkWithCounters[T] extends AtomicReference[T]
  7. case class LockedSameSCC(lock: SubsumableLock) extends SCCState with Product with Serializable
  8. sealed trait MaybeWritten[+V] extends AnyRef
  9. class MutableTransactionSpanningTreeNode[T] extends TransactionSpanningTreeNode[T]
  10. sealed trait NotificationBranchResult[+T, +R] extends AnyRef
  11. sealed trait SCCConnectivity extends SCCState
  12. sealed trait SCCState extends AnyRef
  13. trait TransactionSpanningTreeNode[T] extends AnyRef
  14. trait TurnImplBundle extends FullMVBundle
  15. case class Written[V](valueForSelf: V, valueForFuture: V) extends MaybeWritten[V] with Product with Serializable

Value Members

  1. object FramingBranchResult
  2. object FullMVUtil
  3. case object NotFinal extends MaybeWritten[Nothing] with Product with Serializable
  4. object NotificationBranchResult
  5. object TurnPhase
  6. case object UnlockedSameSCC extends SCCConnectivity with Product with Serializable
  7. case object UnlockedUnknown extends SCCConnectivity with Product with Serializable
  8. case object Unwritten extends MaybeWritten[Nothing] with Product with Serializable

Ungrouped