unify/it.unibo.tuprolog.unify.exception/OccurCheckException

OccurCheckException

class OccurCheckException(    term1: <ERROR CLASS>,     term2: <ERROR CLASS>,     innerVar: <ERROR CLASS>,     innerTerm: <ERROR CLASS>,     other: Throwable?) : NoUnifyException
Content copied to clipboard

Constructors

Link copied to clipboard
fun OccurCheckException(    term1: <ERROR CLASS>,     term2: <ERROR CLASS>,     innerVar: <ERROR CLASS>,     innerTerm: <ERROR CLASS>)
Content copied to clipboard
Link copied to clipboard
fun OccurCheckException(    term1: <ERROR CLASS>,     term2: <ERROR CLASS>,     innerVar: <ERROR CLASS>,     innerTerm: <ERROR CLASS>,     other: Throwable?)
Content copied to clipboard

Properties

Link copied to clipboard
open override val message: String
Content copied to clipboard