OccurCheckException

class OccurCheckException: NoUnifyException

Fields

Name Description
val message: String

the detail message string.

Constructors

<init>

constructor(term1: Term, term2: Term, innerVar: Var, innerTerm: Term)

Parameters

Name Description
term1: Term
term2: Term
innerVar: Var
innerTerm: Term

<init>

constructor(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?)

Parameters

Name Description
term1: Term
term2: Term
innerVar: Var
innerTerm: Term
other: Throwable?