oop-lib/it.unibo.tuprolog.solve.libs.oop/TermToObjectConverter/Companion

Companion

object Companion

Properties

default

@JvmStatic

val default: TermToObjectConverter

The default TermToObjectConverter, with no alias resolution.

Functions

@JvmStatic

fun of(typeFactory: TypeFactory = TypeFactory.default, dealiaser: (Struct) -> Ref? = { null }): TermToObjectConverter

Builds a TermToObjectConverter that resolves Prolog type names via typeFactory (for casts and constructor selection) and resolves $Alias dealiasing expressions via dealiaser (which returns null, causing dealiasing to fail, by default).