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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun of(    context: ExecutionContext,     signature: Signature,     limit: RepresentationError.Limit,     cause: Throwable? = null): RepresentationError
Content copied to clipboard

Properties

Link copied to clipboard
const val typeFunctor: String
Content copied to clipboard

The permission error Struct functor