test-solve/it.unibo.tuprolog.solve/assertHasPredicateInAPI

assertHasPredicateInAPI

fun Solver.assertHasPredicateInAPI(rule: RuleWrapper<*>)

Asserts that the receiver Solver's API (Solver.libraries) exposes rule (a rule-based built-in predicate).

fun Solver.assertHasPredicateInAPI(primitive: PrimitiveWrapper<*>)

Asserts that the receiver Solver's API (Solver.libraries) exposes primitive (a primitive built-in).

fun Solver.assertHasPredicateInAPI(signature: Signature)

Asserts that the receiver Solver's API (Solver.libraries) exposes a predicate matching signature.

fun Solver.assertHasPredicateInAPI(functor: String, arity: Int, vararg: Boolean = false)

Asserts that the receiver Solver's API (Solver.libraries) exposes a predicate functor/arity.

Generated by Dokka
© 2026 Copyright