rescala
fullmv
package
fullmv
Visibility
Public
All
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
AnyRef
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
object
NotFinal
extends
MaybeWritten
[
Nothing
] with
Product
with
Serializable
object
NotificationBranchResult
object
TurnPhase
object
UnlockedSameSCC
extends
SCCConnectivity
with
Product
with
Serializable
object
UnlockedUnknown
extends
SCCConnectivity
with
Product
with
Serializable
object
Unwritten
extends
MaybeWritten
[
Nothing
] with
Product
with
Serializable
package
mirrors
package
sgt
package
tasks
Ungrouped