dsl/it.unibo.collektive.aggregate/AggregateResult

AggregateResult

data class AggregateResult<ID : Any, out R>(val localId: ID, val result: R, val toSend: OutboundMessage<ID>, val newState: State)

Result of the aggregate computation. It represents the localId of the device, the result of the computation, the messages toSend to other devices and the newState of the device.

Constructors

AggregateResult

constructor(localId: ID, result: R, toSend: OutboundMessage<ID>, newState: State)

Properties

val localId: ID

val newState: State

val result: R

val toSend: OutboundMessage<ID>