Yes

data class Yes: Solution

A class representing the successful solution

Fields

Name Description
val solvedQuery: Struct

The Struct representing the solution

val query: Struct

The query to which the solution refers

val substitution: Unifier

The successful substitution applied finding the solution

Constructors

<init>

constructor(signature: Signature, arguments: List<Term>, substitution: Unifier)

Parameters

Name Description
signature: Signature
arguments: List<Term>
substitution: Unifier

<init>

constructor(query: Struct, substitution: Unifier)

A class representing the successful solution

Parameters

Name Description
query: Struct
substitution: Unifier