oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/ObjectRef

ObjectRef

object ObjectRef : TypeTester<ExecutionContext>

object_ref(?Term): succeeds iff Term is an it.unibo.tuprolog.solve.libs.oop.ObjectRef.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature

Functions

open override fun testType(term: Term): Boolean