Request
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
Constructors
Link copied to clipboard
constructor(signature: Signature, arguments: List<Term>, context: C, requestIssuingInstant: TimeInstant = currentTimeInstant(), executionMaxDuration: TimeDuration = TimeDuration.MAX_VALUE)
Properties
Functions
Link copied to clipboard
Creates a new Response to this Request