commonMain.it.unibo.tuprolog.solve.Time.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

@file:JvmName("Time")

package it.unibo.tuprolog.solve

import kotlin.jvm.JvmName

/** This type represents how the solver will see time instants */
typealias TimeInstant = Long

/** This type represents how the solver will see time duration */
typealias TimeDuration = Long

/** A function returning current Time instant */
expect fun currentTimeInstant(): TimeInstant