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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.checkTermIsRecursivelyCallable(term: <ERROR CLASS>): TypeError?
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringAllArgumentsAreInstantiated(): Solve.Request<C>
Content copied to clipboard

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

Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsArity(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsAtom(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCallable(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsChar(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCharCode(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCompound(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsConstant(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsGround(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInstantiated(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInteger(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsList(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNonNegativeInteger(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNumeric(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsSpecifier(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsStruct(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsVariable(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedClause(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedIndicator(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedList(index: Int): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringClauseProcedureHasPermission(clause: <ERROR CLASS>, operation: PermissionError.Operation): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringProcedureHasPermission(signature: Signature?, operation: PermissionError.Operation): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsCharCode(term: <ERROR CLASS>): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsWellFormedList(term: <ERROR CLASS>): Solve.Request<C>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <ERROR CLASS>.isCharacterCode(): Boolean
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.notImplemented(message: String = "Primitive for "): Solve.Response
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> Solve.Request<C>.notSupported(message: String = "Operation "): Solve.Response
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun <C : ExecutionContext> wrap(signature: Signature, primitive: Primitive): PrimitiveWrapper<C>
Content copied to clipboard

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>
Content copied to clipboard
@JvmStatic
fun <C : ExecutionContext> wrap(    name: String,     arity: Int,     vararg: Boolean,     primitive: Primitive): PrimitiveWrapper<C>
Content copied to clipboard

Utility factory to build a PrimitiveWrapper out of a Primitive function