SolverFactory

interface SolverFactory: Any

Fields

Name Description
open defaultLibraries: Libraries
abstract defaultBuiltins: AliasedLibrary
open defaultFlags: PrologFlags
open defaultStaticKb: Theory
open defaultDynamicKb: Theory
open defaultInputChannel: InputChannel<String>
open defaultOutputChannel: OutputChannel<String>
open defaultErrorChannel: OutputChannel<String>
open defaultWarningsChannel: OutputChannel<PrologWarning>

Methods

solverOf

abstract fun solverOf(libraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): Solver

Parameters

Name Description
libraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(libraries: Libraries, staticKb: Theory, dynamicKb: Theory): Solver

Parameters

Name Description
libraries: Libraries
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(staticKb: Theory, dynamicKb: Theory): Solver

Parameters

Name Description
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(staticKb: Theory): Solver

Parameters

Name Description
staticKb: Theory

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(libraries: Libraries, staticKb: Theory): Solver

Parameters

Name Description
libraries: Libraries
staticKb: Theory

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(libraries: Libraries): Solver

Parameters

Name Description
libraries: Libraries

ReturnValue

Name Description
Solver

solverOf

open fun solverOf(): Solver

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(otherLibraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): Solver

Parameters

Name Description
otherLibraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(otherLibraries: Libraries, staticKb: Theory, dynamicKb: Theory): Solver

Parameters

Name Description
otherLibraries: Libraries
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(staticKb: Theory, dynamicKb: Theory): Solver

Parameters

Name Description
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(staticKb: Theory): Solver

Parameters

Name Description
staticKb: Theory

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(otherLibraries: Libraries): Solver

Parameters

Name Description
otherLibraries: Libraries

ReturnValue

Name Description
Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(): Solver

ReturnValue

Name Description
Solver

mutableSolverOf

abstract fun mutableSolverOf(libraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): MutableSolver

Parameters

Name Description
libraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(libraries: Libraries, staticKb: Theory, dynamicKb: Theory): MutableSolver

Parameters

Name Description
libraries: Libraries
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(staticKb: Theory, dynamicKb: Theory): MutableSolver

Parameters

Name Description
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(staticKb: Theory): MutableSolver

Parameters

Name Description
staticKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(libraries: Libraries, staticKb: Theory): MutableSolver

Parameters

Name Description
libraries: Libraries
staticKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(libraries: Libraries): MutableSolver

Parameters

Name Description
libraries: Libraries

ReturnValue

Name Description
MutableSolver

mutableSolverOf

open fun mutableSolverOf(): MutableSolver

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): MutableSolver

Parameters

Name Description
otherLibraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries, staticKb: Theory, dynamicKb: Theory): MutableSolver

Parameters

Name Description
otherLibraries: Libraries
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(staticKb: Theory, dynamicKb: Theory): MutableSolver

Parameters

Name Description
staticKb: Theory
dynamicKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(staticKb: Theory): MutableSolver

Parameters

Name Description
staticKb: Theory

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries): MutableSolver

Parameters

Name Description
otherLibraries: Libraries

ReturnValue

Name Description
MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(): MutableSolver

ReturnValue

Name Description
MutableSolver