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
A type representing a failed solution