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

StateRuleExecution

data class StateRuleExecution(val context: ConcurrentExecutionContext) : AbstractState

"Rule Execution": unifies ConcurrentExecutionContext.currentGoal against the head of the clause selected by StateRuleSelection (ConcurrentExecutionContext.rule); on success, moves to StateGoalSelection to resolve the (substituted) clause body prepended to the remaining goals, otherwise this branch ends as a failure.

Constructors

StateRuleExecution

constructor(context: ConcurrentExecutionContext)

Properties

context

open override val context: ConcurrentExecutionContext

The execution context this state operates on.

isEndState

open val isEndState: Boolean

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

Functions

asEndState

open fun asEndState(): EndState?

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

castToEndState

open fun castToEndState(): EndState

This state as an EndState.

clone

open override fun clone(context: ConcurrentExecutionContext = this.context): StateRuleExecution

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

open override 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.