solve/it.unibo.tuprolog.solve/SolverFactory

SolverFactory

interface SolverFactory

Functions

mutableSolverOf

open fun mutableSolverOf(): MutableSolver

open fun mutableSolverOf(staticKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverOf(libraries: Libraries): MutableSolver

open fun mutableSolverOf(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverOf(libraries: Libraries, staticKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverOf( libraries: Libraries, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver

abstract fun mutableSolverOf( libraries: Libraries = defaultLibraries, flags: FlagStore = defaultFlags, staticKb: <ERROR CLASS> = defaultStaticKb, dynamicKb: <ERROR CLASS> = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(): MutableSolver

open fun mutableSolverWithDefaultBuiltins(staticKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries): MutableSolver

open fun mutableSolverWithDefaultBuiltins(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverWithDefaultBuiltins( otherLibraries: Libraries, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver

open fun mutableSolverWithDefaultBuiltins( otherLibraries: Libraries = defaultLibraries, flags: FlagStore = defaultFlags, staticKb: <ERROR CLASS> = defaultStaticKb, dynamicKb: <ERROR CLASS> = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): MutableSolver

solverOf

open fun solverOf(): Solver

open fun solverOf(staticKb: <ERROR CLASS>): Solver

open fun solverOf(libraries: Libraries): Solver

open fun solverOf(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): Solver

open fun solverOf(libraries: Libraries, staticKb: <ERROR CLASS>): Solver

open fun solverOf( libraries: Libraries, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): Solver

abstract fun solverOf( libraries: Libraries = defaultLibraries, flags: FlagStore = defaultFlags, staticKb: <ERROR CLASS> = defaultStaticKb, dynamicKb: <ERROR CLASS> = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(): Solver

open fun solverWithDefaultBuiltins(staticKb: <ERROR CLASS>): Solver

open fun solverWithDefaultBuiltins(otherLibraries: Libraries): Solver

open fun solverWithDefaultBuiltins(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): Solver

open fun solverWithDefaultBuiltins( otherLibraries: Libraries, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): Solver

open fun solverWithDefaultBuiltins( otherLibraries: Libraries = defaultLibraries, flags: FlagStore = defaultFlags, staticKb: <ERROR CLASS> = defaultStaticKb, dynamicKb: <ERROR CLASS> = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): Solver