Durable

interface Durable

A type for entities bound to a maximum execution duration, e.g. an ExecutionContext or a it.unibo.tuprolog.solve.primitive.Solve.Request, used to enforce it.unibo.tuprolog.solve.SolveOptions.timeout across a resolution and its nested requests.

Inheritors

Properties

Link copied to clipboard

How much time elapsed since startTime, computed against the current time instant.

Link copied to clipboard

The time instant by which this entity's execution should be over, computed as startTime (saturating to TimeInstant.MAX_VALUE on overflow).

Link copied to clipboard

The maximum duration this entity's execution is allowed to run for, starting from startTime.

Link copied to clipboard

How much time is left before endTime, computed against the current time instant.

Link copied to clipboard
abstract val startTime: TimeInstant

The time instant this entity's execution started at.