solve/it.unibo.tuprolog.solve.exception.error/ExistenceError/ObjectType

ObjectType

enum ObjectType : Enum<ExistenceError.ObjectType>

A class describing the expected type whose absence caused the error

Entries

OOP_CONSTRUCTOR

OOP_CONSTRUCTOR()

Types

object Companion

Functions

open override fun toString(): String

open fun toTerm(): <ERROR CLASS>

A function to transform the type to corresponding Atom representation

Properties

val name: String

val ordinal: Int