solve/it.unibo.tuprolog.solve.exception.error/RepresentationError/Companion

Companion

object Companion

Properties

const val typeFunctor: String

The permission error Struct functor

Functions

fun of(context: ExecutionContext, signature: Signature, limit: RepresentationError.Limit, cause: Throwable? = null): RepresentationError

Creates a RepresentationError reporting that executing signature breached implementation limit.