solve/it.unibo.tuprolog.solve.exception.error/DomainError/Expected/DATE_TIME

DATE_TIME

Properties

val domain: String

The expected domain string description

expect val name: String

expect val ordinal: Int

Functions

open override fun toString(): String

open override fun toTerm(): Atom

A function to transform the type to corresponding Atom representation