Compute

sealed class Compute

A base class for Computation requests and responses

Types

data class Request<out C : ExecutionContext>(val signature: Signature, val arguments: List<Term>, val context: C, val requestIssuingInstant: TimeInstant = currentTimeInstant(), val executionMaxDuration: TimeDuration = TimeDuration.MAX_VALUE) : Compute

Class representing a Request to be full-filled by the Expression evaluator

data class Response(val result: Term) : Compute

Class representing a Response, from the Expression evaluator, to a Request