sealed interface Yes: Solution, Any A type representing the successful solution Fields Name Description abstract substitution: Unifier The substitution that has been applied to find the solution, or a failed substitution abstract solvedQuery: Struct The Struct representing the solution, or null in case of a non-successful solution Methods replaceTags abstract fun replaceTags(tags: Map<String, Any>): Yes Parameters Name Description tags: Map<String, Any> ReturnValue Name Description Yes copy abstract fun copy(query: Struct, substitution: Unifier): Yes Parameters Name Description query: Struct substitution: Unifier ReturnValue Name Description Yes cleanUp abstract fun cleanUp(): Yes ReturnValue Name Description Yes asYes open fun asYes(): Yes Casts the current Solution to Yes, if possible, or returns null otherwise ReturnValue Name Description Yes the current Solution, casted to Yes, or null, if the current term is not an instance of Yes
A type representing the successful solution