rescala
API
Generated with
rescala/rescala/rescala.fullmv/rescala.fullmv.tasks/TaskBundle/Reevaluation

Reevaluation

rescala.fullmv.tasks.TaskBundle.Reevaluation
class Reevaluation(val turn: FullMVTurn, val node: of[State]) extends RegularReevaluationHandling

Attributes

Graph
Supertypes
trait FullMVAction
class RecursiveAction
class ForkJoinTask[Void]
trait Serializable
trait Future[Void]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

object FullAccessHandle extends AccessHandler[State]

Attributes

Inherited from:
RegularReevaluationHandling
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

override def doCompute(): Unit

Attributes

Definition Classes
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Inherited methods

def cancel(x$0: Boolean): Boolean

Attributes

Inherited from:
ForkJoinTask
final def commitDependencyDiff(node: of[State], current: Set[of[State]])(updated: Set[of[State]]): Unit

Attributes

Inherited from:
RegularReevaluationHandling
final def compareAndSetForkJoinTaskTag(x$0: Short, x$1: Short): Boolean

Attributes

Inherited from:
ForkJoinTask
def complete(x$0: Void): Unit

Attributes

Inherited from:
ForkJoinTask
def completeExceptionally(x$0: Throwable): Unit

Attributes

Inherited from:
ForkJoinTask
override def compute(): Unit

Attributes

Definition Classes
FullMVAction -> RecursiveAction
Inherited from:
FullMVAction
override def createReevaluation(succTxn: FullMVTurn): FullMVAction

Attributes

Definition Classes
Inherited from:
RegularReevaluationHandling
def doReevaluation(retainBranch: Boolean): Unit

Attributes

Inherited from:
RegularReevaluationHandling
def exceptionNow(): Throwable

Attributes

Inherited from:
ForkJoinTask
final def fork(): ForkJoinTask[Void]

Attributes

Inherited from:
ForkJoinTask
final def get(x$0: Long, x$1: TimeUnit): Void

Attributes

Inherited from:
ForkJoinTask
final def get(): Void

Attributes

Inherited from:
ForkJoinTask
final def getException(): Throwable

Attributes

Inherited from:
ForkJoinTask
final def getForkJoinTaskTag(): Short

Attributes

Inherited from:
ForkJoinTask
final def getRawResult(): Void

Attributes

Inherited from:
RecursiveAction
final def invoke(): Void

Attributes

Inherited from:
ForkJoinTask
final def isCancelled(): Boolean

Attributes

Inherited from:
ForkJoinTask
final def isCompletedAbnormally(): Boolean

Attributes

Inherited from:
ForkJoinTask
final def isCompletedNormally(): Boolean

Attributes

Inherited from:
ForkJoinTask
final def isDone(): Boolean

Attributes

Inherited from:
ForkJoinTask
final def join(): Void

Attributes

Inherited from:
ForkJoinTask
def processReevOutResult(retainBranch: Boolean, outAndSucc: ReevOutBranchResult[FullMVTurn, of[State]], changed: Boolean): Unit

Attributes

Inherited from:
ReevaluationHandling
def processReevaluationResult(maybeChange: Option[node.Value]): ReevOutBranchResult[FullMVTurn, of[State]]

Attributes

Inherited from:
ReevaluationHandling
final def quietlyComplete(): Unit

Attributes

Inherited from:
ForkJoinTask
final def quietlyInvoke(): Unit

Attributes

Inherited from:
ForkJoinTask
final def quietlyJoin(x$0: Long, x$1: TimeUnit): Boolean

Attributes

Inherited from:
ForkJoinTask
final def quietlyJoin(): Unit

Attributes

Inherited from:
ForkJoinTask
final def quietlyJoinUninterruptibly(x$0: Long, x$1: TimeUnit): Boolean

Attributes

Inherited from:
ForkJoinTask
def reinitialize(): Unit

Attributes

Inherited from:
ForkJoinTask
def resultNow(): Void

Attributes

Inherited from:
ForkJoinTask
final def setForkJoinTaskTag(x$0: Short): Short

Attributes

Inherited from:
ForkJoinTask
def state(): State

Attributes

Inherited from:
ForkJoinTask
def tryUnfork(): Boolean

Attributes

Inherited from:
ForkJoinTask

Concrete fields

override val node: of[State]
override val turn: FullMVTurn
Generated with