BasicAbstractDistributedIncarnation
Related Doc:
package incarnations
Name of a capability, including
Name of a capability, including
The input of a computation round in a node Bounded as of Context interface
A field-calculus "behaviour" inherits from this trait.
A field-calculus "behaviour" inherits from this trait. Differences wrt the paper version are: - foldhood is given a "universal quantification" semantics - neighbour exposes whether we are in one such quantification - mid is so foundational that we put it here
A consequence is that we do not have field types, only locals: so we integrate at best with Scala
A generic "context" affecting device-local execution of a ScaFi program.
A generic "context" affecting device-local execution of a ScaFi program.
A computation round, as an I/O function
A computation round, as an I/O function
The output of a computation round in a node Bounded to have at least a root element, as of Export interface
It implements the whole operational semantics.
It implements the whole operational semantics.
A generic "export", i.e., a coordination message to be emitted.
A generic "export", i.e., a coordination message to be emitted.
The unique identifier of a node
The unique identifier of a node
a space that used quad tree index to compute neighbour
a space that used quad tree index to compute neighbour
the type of node
Template method for extending the parser in specialized platform components.
Template method for extending the parser in specialized platform components.
(Since version ) see corresponding Javadoc for more information.