core/it.unibo.tuprolog.argumentation/Value/Integer

Integer

data class Integer(val value: Int) : Value

An integer (one beyond the range of 32 bits is a Real)

Constructors

constructor(value: Int)

Properties

open override val kind: String

What the value is: atom, integer, real, variable, list or struct

Functions

open override fun toString(): String

The value as Prolog text, written with the operators of arg2p