it.unibo.tuprolog.solve.fsm

package it.unibo.tuprolog.solve.fsm

Classes

Name Description
interface EndState: State, Any
interface ExceptionalState: State, Any
interface State: Any

Methods

clone

fun State.clone(context: ClassicExecutionContext): State

Receiver

Name Description
State

Parameters

Name Description
context: ClassicExecutionContext

ReturnValue

Name Description
State

ensureRules

fun Sequence<Clause>.ensureRules(): Cursor<Rule>

Receiver

Name Description
Sequence<Clause>

ReturnValue

Name Description
Cursor<Rule>

unfoldGoals

fun Term.unfoldGoals(): Sequence<Term>

Receiver

Name Description
Term

ReturnValue

Name Description
Sequence<Term>

toGoals

fun Term.toGoals(): Cursor<Term>

Receiver

Name Description
Term

ReturnValue

Name Description
Cursor<Term>

createTempChild

fun ClassicExecutionContext.createTempChild(inferProcedureFromGoals: Boolean): ClassicExecutionContext

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
inferProcedureFromGoals: Boolean

ReturnValue

Name Description
ClassicExecutionContext

appendRulesAndChoicePoints

fun ClassicExecutionContext.appendRulesAndChoicePoints(rules: Cursor<Rule>): ClassicExecutionContext

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
rules: Cursor<Rule>

ReturnValue

Name Description
ClassicExecutionContext

appendPrimitivesAndChoicePoints

fun ClassicExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<Response>): ClassicExecutionContext

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
primitiveExecutions: Cursor<Response>

ReturnValue

Name Description
ClassicExecutionContext

createChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<Rule>, inferProcedureFromGoals: Boolean): ClassicExecutionContext

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
rules: Cursor<Rule>
inferProcedureFromGoals: Boolean

ReturnValue

Name Description
ClassicExecutionContext

createChildAppendingPrimitivesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: Cursor<Response>, inferProcedureFromGoals: Boolean): ClassicExecutionContext

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
primitiveExecutions: Cursor<Response>
inferProcedureFromGoals: Boolean

ReturnValue

Name Description
ClassicExecutionContext

toRequest

fun ClassicExecutionContext.toRequest(signature: Signature, arguments: List<Term>): Request<ClassicExecutionContext>

Receiver

Name Description
ClassicExecutionContext

Parameters

Name Description
signature: Signature
arguments: List<Term>

ReturnValue

Name Description
Request<ClassicExecutionContext>