solve-concurrent/it.unibo.tuprolog.solve.concurrent.fsm/ExceptionalState

ExceptionalState

interface ExceptionalState : State

A State carrying a ResolutionException: StateException (still being handled/propagated) or StateHalt (unrecoverable, terminal).

Inheritors

Properties

abstract val context: ConcurrentExecutionContext

The execution context this state operates on.

abstract val exception: ResolutionException

The exception this state needs to propagate/handle.

open val isEndState: Boolean

Whether this state is a terminal one for the current branch, i.e. an EndState.

Functions

open fun asEndState(): EndState?

This state as an EndState, or null if isEndState is false.

open fun castToEndState(): EndState

This state as an EndState.

abstract fun clone(context: ConcurrentExecutionContext = this.context): State

Returns a copy of this state, replacing context with the given one (defaulting to the current context).

abstract fun next(): Iterable<State>

Computes every state this branch may transition into from here, one per alternative (matching clause, disjunct, primitive solution, ...) available at this point; empty only for EndStates. Each element is meant to be explored independently (and, in :solve-concurrent's solver, concurrently) of the others.