BasicAbstractSimulationIncarnation
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
(Since version ) see corresponding Javadoc for more information.