solve/it.unibo.tuprolog.solve.primitive/PrimitiveWrapper/Companion

Companion

object Companion

Functions

checkTermIsRecursivelyCallable

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.checkTermIsRecursivelyCallable(term: Term): TypeError?

ensuringAllArgumentsAreInstantiated

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringAllArgumentsAreInstantiated(): Solve.Request<C>

Utility function to ensure that all arguments of Solve.Request are instantiated and not (still) Variables

ensuringArgumentIsArity

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsArity(index: Int): Solve.Request<C>

ensuringArgumentIsAtom

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsAtom(index: Int): Solve.Request<C>

ensuringArgumentIsCallable

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCallable(index: Int): Solve.Request<C>

ensuringArgumentIsChar

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsChar(index: Int): Solve.Request<C>

ensuringArgumentIsCharCode

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCharCode(index: Int): Solve.Request<C>

ensuringArgumentIsCompound

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCompound(index: Int): Solve.Request<C>

ensuringArgumentIsConstant

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsConstant(index: Int): Solve.Request<C>

ensuringArgumentIsGround

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsGround(index: Int): Solve.Request<C>

ensuringArgumentIsInstantiated

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInstantiated(index: Int): Solve.Request<C>

ensuringArgumentIsInteger

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInteger(index: Int): Solve.Request<C>

ensuringArgumentIsList

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsList(index: Int): Solve.Request<C>

ensuringArgumentIsNonNegativeInteger

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNonNegativeInteger(index: Int): Solve.Request<C>

ensuringArgumentIsNumeric

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNumeric(index: Int): Solve.Request<C>

ensuringArgumentIsSpecifier

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsSpecifier(index: Int): Solve.Request<C>

ensuringArgumentIsStruct

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsStruct(index: Int): Solve.Request<C>

ensuringArgumentIsVariable

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsVariable(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedClause

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedClause(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedIndicator

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedIndicator(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedList

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedList(index: Int): Solve.Request<C>

ensuringClauseProcedureHasPermission

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringClauseProcedureHasPermission(clause: Clause, operation: PermissionError.Operation): Solve.Request<C>

ensuringProcedureHasPermission

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringProcedureHasPermission(signature: Signature?, operation: PermissionError.Operation): Solve.Request<C>

ensuringTermIsCharCode

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsCharCode(term: Term): Solve.Request<C>

ensuringTermIsWellFormedList

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsWellFormedList(term: Term): Solve.Request<C>

isCharacterCode

@JvmStatic

fun Integer.isCharacterCode(): Boolean

match

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.match(term1: Term, term2: Term): Boolean

mgu

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.mgu(term1: Term, term2: Term): Substitution

notImplemented

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.notImplemented(message: String = "Primitive for "): Solve.Response

notSupported

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.notSupported(message: String = "Operation "): Solve.Response

unify

@JvmStatic

fun <C : ExecutionContext> Solve.Request<C>.unify(term1: Term, term2: Term): Term?

wrap

@JvmStatic

fun <C : ExecutionContext> wrap(signature: Signature, primitive: Primitive): PrimitiveWrapper<C>

Utility factory to build a PrimitiveWrapper out of a Signature and a Primitive function

@JvmStatic

fun <C : ExecutionContext> wrap(name: String, arity: Int, primitive: Primitive): PrimitiveWrapper<C>

@JvmStatic

fun <C : ExecutionContext> wrap(name: String, arity: Int, vararg: Boolean, primitive: Primitive): PrimitiveWrapper<C>

Utility factory to build a PrimitiveWrapper out of a Primitive function