solve/it.unibo.tuprolog.solve.exception.warning

Package it.unibo.tuprolog.solve.exception.warning

Types

Link copied to clipboard
class InitializationIssue(    val goal: <ERROR CLASS>,     val cause: ResolutionException? = null,     val contexts: Array<ExecutionContext>) : Warning
Content copied to clipboard
Link copied to clipboard
class MissingPredicate(    cause: Throwable?,     val contexts: Array<ExecutionContext>,     val signature: Signature) : Warning
Content copied to clipboard