dsl/it.unibo.collektive.aggregate.ops

Package-level declarations

Types

SharingContext

class SharingContext<Initial, Return>

The lambda context passed to the share function.

SharingResult

data class SharingResult<Initial, Return>(val toSend: Initial, val toReturn: Return)

Specifies the value toSend and the value toReturn of a SharingContext.yielding function.

Functions

neighbouring

fun <Return> AggregateContext.neighbouring(type: Return): Field<Return>

Observes the value of an expression type across neighbours.

fun <Initial> AggregateContext.share(initial: Initial, transform: (Field<Initial>) -> Initial): Initial

share captures the space-time nature of field computation through observation of neighbours' values, starting from an initial value, it reduces to a single local value given a transform function and updating and sharing to neighbours of a local variable.

sharing

fun <Initial, Return> AggregateContext.sharing(initial: Initial, transform: SharingContext<Initial, Return>.(Field<Initial>) -> SharingResult<Initial, Return>): Return

sharing captures the space-time nature of field computation through observation of neighbours' values, starting from an initial value, it reduces to a single local value given a transform function and updating and sharing to neighbours of a local variable.