core/it.unibo.pulvreakt.api.context/IntId

IntId

@Serializable
data class IntId(val value: Int) : Id, Comparable<IntId>

Implementation of Id using an Int as value for the id. This implementation inherits the Comparable interface to allow the comparison between two IntId.

Constructors

Link copied to clipboard
constructor(value: Int)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
val value: Int

Functions

Link copied to clipboard
open operator override fun compareTo(other: IntId): Int
Link copied to clipboard
fun IntId.toInt(): Int

Converts an IntId to an Int.

Link copied to clipboard
open override fun toString(): String