OccurCheckException

class OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?) : NoUnifyException
Content copied to clipboard

Constructors

OccurCheckException
Link copied to clipboard
fun OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term)
Content copied to clipboard

Properties

cause
Link copied to clipboard
open override val cause: Throwable?
Content copied to clipboard
message
Link copied to clipboard
open override val message: String
Content copied to clipboard