solve-classic/it.unibo.tuprolog.solve.classic.fsm

Package it.unibo.tuprolog.solve.classic.fsm

Types

abstract class AbstractEndState(val solution: <ERROR CLASS>, val context: ClassicExecutionContext) : AbstractState, EndState

AbstractState

abstract class AbstractState(val context: ClassicExecutionContext) : State

EndState

interface EndState : State

ExceptionalState

interface ExceptionalState : State

State

interface State

StateBacktracking

data class StateBacktracking(val context: ClassicExecutionContext) : AbstractState

StateEnd

data class StateEnd(val solution: <ERROR CLASS>, val context: ClassicExecutionContext) : AbstractEndState

StateException

data class StateException(val exception: <ERROR CLASS>, val context: ClassicExecutionContext) : AbstractState, ExceptionalState

StateGoalSelection

data class StateGoalSelection(val context: ClassicExecutionContext) : AbstractState

StateHalt

data class StateHalt(val exception: <ERROR CLASS>, val context: ClassicExecutionContext) : AbstractEndState, ExceptionalState

StateInit

data class StateInit(val context: ClassicExecutionContext) : AbstractState

StatePrimitiveExecution

data class StatePrimitiveExecution(val context: ClassicExecutionContext) : AbstractState

StatePrimitiveSelection

data class StatePrimitiveSelection(val context: ClassicExecutionContext) : AbstractState

StateRuleExecution

data class StateRuleExecution(val context: ClassicExecutionContext) : AbstractState

StateRuleSelection

data class StateRuleSelection(val context: ClassicExecutionContext) : AbstractState

Functions

appendPrimitivesAndChoicePoints

fun ClassicExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: <ERROR CLASS><out <ERROR CLASS>>): ClassicExecutionContext

appendRulesAndChoicePoints

fun ClassicExecutionContext.appendRulesAndChoicePoints(rules: <ERROR CLASS><out <ERROR CLASS>>): ClassicExecutionContext

createChild

fun ClassicExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingPrimitivesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: <ERROR CLASS><out <ERROR CLASS>>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: <ERROR CLASS><out <ERROR CLASS>>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

ensureRules

fun Sequence<<ERROR CLASS>>.ensureRules(): Sequence<<ERROR CLASS>>

replaceWithChild

fun ClassicExecutionContext.replaceWithChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

replaceWithChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: <ERROR CLASS><out <ERROR CLASS>>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

toGoals

fun <ERROR CLASS>.toGoals(): <ERROR CLASS><out <ERROR CLASS>>

toRequest

fun ClassicExecutionContext.toRequest(goal: <ERROR CLASS>, signature: <ERROR CLASS>): <ERROR CLASS>

toRulesCursor

fun Sequence<<ERROR CLASS>>.toRulesCursor(): <ERROR CLASS><out <ERROR CLASS>>

unfoldGoals

fun <ERROR CLASS>.unfoldGoals(): Sequence<<ERROR CLASS>>