commonMain.it.unibo.tuprolog.solve.streams.solver.fsm.TimedState.kt Maven / Gradle / Ivy

Go to download

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

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

The newest version!

package it.unibo.tuprolog.solve.streams.solver.fsm

import it.unibo.tuprolog.solve.TimeInstant

/**
 * Interface representing a state with a notion of "time"
 *
 * @author Enrico
 */
internal interface TimedState : State {
    /** Returns current time instant in some notion of "time" */
    fun getCurrentTime(): TimeInstant
}