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

Real

data class Real(val value: Double) : Value

A floating-point number

Constructors

constructor(value: Double)

Properties

open override val kind: String

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

val value: Double

Functions

open override fun toString(): String

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