solve/it.unibo.tuprolog.solve.exception.error/RepresentationError/Limit

Limit

enum Limit : Enum<RepresentationError.Limit>

Names of possible limits

Entries

TOO_MANY_VARIABLES

TOO_MANY_VARIABLES()

IN_CHARACTER_CODE

IN_CHARACTER_CODE()

CHARACTER_CODE()

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 limit: String

val name: String

val ordinal: Int