unify/it.unibo.tuprolog.unify.exception/NoUnifyException

NoUnifyException

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

Constructors

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

Properties

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

Inheritors

Link copied to clipboard