dsl/it.unibo.collektive.aggregate/AggregateResult

AggregateResult

data class AggregateResult<R>(val localId: ID, val result: R, val toSend: OutboundMessage, val newState: Set<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, newState: Set<State<*>>)

Properties

localId

val localId: ID

newState

val newState: Set<State<*>>

result

val result: R

toSend

val toSend: OutboundMessage