No

sealed interface No: Solution, Any

A type representing a failed solution

Fields

Name Description
abstract substitution: Fail

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

abstract solvedQuery: Nothing?

The Struct representing the solution, or null in case of a non-successful solution

Methods

replaceTags

abstract fun replaceTags(tags: Map<String, Any>): No

Parameters

Name Description
tags: Map<String, Any>

ReturnValue

Name Description
No

copy

abstract fun copy(query: Struct): No

Parameters

Name Description
query: Struct

ReturnValue

Name Description
No

cleanUp

abstract fun cleanUp(): No

ReturnValue

Name Description
No

asNo

open fun asNo(): No

Casts the current Solution to No, if possible, or returns null otherwise

ReturnValue

Name Description
No

the current Solution, casted to No, or null, if the current term is not an instance of No