data class No: Solution A class representing a failed solution Fields Name Description val query: Struct The query to which the solution refers Constructors <init> constructor(signature: Signature, arguments: List<Term>) Parameters Name Description signature: Signature arguments: List<Term> <init> constructor(query: Struct) A class representing a failed solution Parameters Name Description query: Struct
A class representing a failed solution