Solve
A base class for Solve requests and responses
Types
Link copied to clipboard
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) : Solve
Content copied to clipboard
Class representing a Request to be full-filled by the Solver
Link copied to clipboard
data class Response( val solution: Solution, val sideEffectManager: SideEffectManager? = null, val sideEffects: List<SideEffect>) : Solve
Content copied to clipboard
Class representing a Response, from the Solver, to a Solve.Request