Solve

sealed class Solve

A base class for Solve requests and responses

Types

data class Request<out C : ExecutionContext>(val signature: Signature, val arguments: List<Term>, val context: C, val startTime: TimeInstant = currentTimeInstant(), val maxDuration: TimeDuration = context.endTime - startTime) : Solve, Durable

Class representing a Request to be full-filled by the Solver

data class Response(val solution: Solution, val sideEffectManager: SideEffectManager? = null, val sideEffects: List<SideEffect>) : Solve

Class representing a Response, from the Solver, to a Solve.Request