No

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