oop-lib/it.unibo.tuprolog.solve.libs.oop.rules/Alias/Companion

Companion

object Companion

Properties

const val FUNCTOR: String

The functor of alias/2 facts, i.e. "alias".

Functions

fun forObject(alias: String, object: Any?): Alias

Builds an Alias fact naming object (wrapped into an ObjectRef) as alias.

fun forType(alias: String, type: KClass<*>): Alias

Builds an Alias fact naming type (wrapped into a TypeRef) as alias.

fun of(alias: Struct, ref: Ref): Alias

Builds an Alias fact naming ref as the (ground) term alias.