ClassicSolverFactory

object ClassicSolverFactory : SolverFactory

Functions

mutableSolverOf

open fun mutableSolverOf(): MutableSolver

open fun mutableSolverOf(libraries: Libraries): MutableSolver

open fun mutableSolverOf(staticKb: Theory): MutableSolver

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

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

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

open override fun mutableSolverOf(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(): MutableSolver

open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries): MutableSolver

open fun mutableSolverWithDefaultBuiltins(staticKb: Theory): MutableSolver

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

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

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

solverOf

open fun solverOf(): Solver

open fun solverOf(libraries: Libraries): Solver

open fun solverOf(staticKb: Theory): Solver

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

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

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

open override fun solverOf(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(): Solver

open fun solverWithDefaultBuiltins(otherLibraries: Libraries): Solver

open fun solverWithDefaultBuiltins(staticKb: Theory): Solver

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

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

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

Properties

defaultBuiltins

open override val defaultBuiltins: AliasedLibrary

defaultDynamicKb

open val defaultDynamicKb: Theory

defaultErrorChannel

open val defaultErrorChannel: OutputChannel<String>

defaultFlags

open val defaultFlags: FlagStore

defaultInputChannel

open val defaultInputChannel: InputChannel<String>

defaultLibraries

open val defaultLibraries: Libraries

defaultOutputChannel

open val defaultOutputChannel: OutputChannel<String>

defaultStaticKb

open val defaultStaticKb: Theory

defaultWarningsChannel

open val defaultWarningsChannel: OutputChannel<Warning>