Package it.unibo.tuprolog.solve.classic

abstract class AbstractClassicSolver(libraries: Libraries, flags: FlagStore, initialStaticKb: Theory, initialDynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean) : AbstractSolver<ClassicExecutionContext>

Content copied to clipboard

sealed class ChoicePointContext

Content copied to clipboard

data class ClassicExecutionContext(procedure: Struct?, libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: MutableTheory, operators: OperatorSet, inputChannels: InputStore, outputChannels: OutputStore, customData: CustomDataStore, substitution: Substitution.Unifier, query: Struct, goals: Cursor<out Term>, rules: Cursor<out Rule>, primitives: Cursor<out Solve.Response>, startTime: TimeInstant, maxDuration: TimeDuration, choicePoints: ChoicePointContext?, parent: ClassicExecutionContext?, depth: Int, step: Long) : ExecutionContext

Content copied to clipboard

object ClassicSolverFactory : SolverFactory

Content copied to clipboard

interface MutableSolutionIterator : SolutionIterator

Content copied to clipboard

interface SolutionIterator : Iterator<Solution>

Content copied to clipboard

fun ChoicePointContext?.appendPrimitives(alternatives: Cursor<out Solve.Response>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

Content copied to clipboard

fun ChoicePointContext?.appendRules(alternatives: Cursor<out Rule>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

Content copied to clipboard

fun MutableSolver.Companion.classic(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultStaticKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): MutableSolver

Content copied to clipboard

fun Solver.Companion.classic(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultDynamicKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): Solver

Content copied to clipboard

fun MutableSolver.Companion.classicWithDefaultBuiltins(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultStaticKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): MutableSolver

Content copied to clipboard

fun Solver.Companion.classicWithDefaultBuiltins(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultStaticKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): Solver

Content copied to clipboard

fun ChoicePointContext?.nextDepth(): Int

Content copied to clipboard