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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun forArgument(    context: ExecutionContext,     procedure: Signature,     variable: <ERROR CLASS>,     index: Int? = null): InstantiationError
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun forGoal(    context: ExecutionContext,     procedure: Signature,     variable: <ERROR CLASS>): InstantiationError
Content copied to clipboard

Properties

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

The instantiation error Struct functor