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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun of(    context: ExecutionContext,     procedure: Signature,     operation: PermissionError.Operation,     permission: PermissionError.Permission,     culprit: <ERROR CLASS>): PermissionError
Content copied to clipboard

Properties

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

The permission error Struct functor