solve/it.unibo.tuprolog.solve.function/Compute

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<<ERROR CLASS>>, 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

Response

data class Response(val result: <ERROR CLASS>) : Compute

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

Inheritors

Request

Response