ViaductRuntime

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

Constructors

Link copied to clipboard
fun ViaductRuntime(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, hostConnectionInfo: Map<Host, HostAddress>, backends: List<ProtocolBackend>, strategy: Strategy)

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
suspend fun input(): Value
Link copied to clipboard
suspend fun output(value: Value)
Link copied to clipboard
suspend fun receive(event: CommunicationEvent): Value
suspend fun receive(sender: Process, receiver: Process): Value
Link copied to clipboard
suspend fun send(value: Value, event: CommunicationEvent)
suspend fun send(value: Value, sender: Process, receiver: Process)
Link copied to clipboard
fun start()

Properties

Link copied to clipboard
val host: Host