Solution

sealed class Solution: Any

A class representing a solution to a goal

Fields

Name Description
abstract query: Struct

The query to which the solution refers

open substitution: Substitution

The substitution that has been applied to find the solution, or a failed substitution

open solvedQuery: Struct?

The Struct representing the solution, or null if no solution is available

val isYes: Boolean
val isNo: Boolean
val isHalt: Boolean

CompanionObject

Solution

sealed class Solution: Any

A class representing a solution to a goal

Methods

noVarargSignatureCheck

protected fun noVarargSignatureCheck(signature: Signature): @JvmStatic protected

Internal function to check signature validity in constructing Solution instances

Parameters

Name Description
signature: Signature

ReturnValue

Name Description
@JvmStatic protected