Compute

sealed class Compute

A base class for Computation requests and responses

Types

Request

common

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

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

Response

common

data class Response(result: Term) : Compute

Class representing a Response, from the Expression evaluator, to a Solve.

Compute