solve/it.unibo.tuprolog.solve.exception.error/EvaluationError/Type

Type

enum Type : Enum<EvaluationError.Type>
Content copied to clipboard

The possible evaluation error types

Author

Enrico

Entries

Link copied to clipboard
UNDEFINED()
Content copied to clipboard
Link copied to clipboard
ZERO_DIVISOR()
Content copied to clipboard
Link copied to clipboard
UNDERFLOW()
Content copied to clipboard
Link copied to clipboard
FLOAT_OVERFLOW()
Content copied to clipboard
Link copied to clipboard
INT_OVERFLOW()
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
open override fun toString(): String
Content copied to clipboard
Link copied to clipboard
open fun toTerm(): <ERROR CLASS>
Content copied to clipboard

A function to transform the type to corresponding Atom representation

Properties

Link copied to clipboard
val name: String
Content copied to clipboard
Link copied to clipboard
val ordinal: Int
Content copied to clipboard