ViaductRuntime

class ViaductRuntime(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, hostConnectionInfo: Map<Host, HostAddress>, backends: List<ProtocolBackend>, strategy: Strategy)

Types

Companion

getHostById

getProcessById

input

suspend fun input(): Value

output

suspend fun output(value: Value)

receive

suspend fun receive(sender: Process, receiver: Process): Value

send

suspend fun send(value: Value, event: CommunicationEvent)

suspend fun send(value: Value, sender: Process, receiver: Process)

start

fun start()

host