Response

data class Response(result: Term) : Compute
Content copied to clipboard

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

Constructors

Response
Link copied to clipboard
common
fun Response(result: Term)
Content copied to clipboard

Properties

result
Link copied to clipboard
common
val result: Term
Content copied to clipboard
The result of evaluation process