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

Companion

object Companion

Properties

const val typeFunctor: String

The permission error Struct functor

Functions

fun of(context: ExecutionContext, procedure: Signature, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: Term): PermissionError

Creates a PermissionError reporting that operation on culprit, attempted while executing procedure, is forbidden due to lacking permission.