interface SolverFactory: Any
Fields
| Name | Description |
|---|---|
open defaultLibraries: Libraries
|
|
abstract defaultBuiltins: AliasedLibrary
|
|
open defaultFlags: FlagStore
|
|
open defaultStaticKb: Theory
|
|
open defaultDynamicKb: Theory
|
|
open defaultInputChannel: InputChannel<String>
|
|
open defaultOutputChannel: OutputChannel<String>
|
|
open defaultErrorChannel: OutputChannel<String>
|
|
open defaultWarningsChannel: OutputChannel<Warning>
|
Methods
solverOf
abstract fun solverOf(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): Solver
Parameters
| Name | Description |
|---|---|
libraries: Libraries
|
|
flags: FlagStore
|
|
staticKb: Theory
|
|
dynamicKb: Theory
|
|
stdIn: InputChannel<String>
|
|
stdOut: OutputChannel<String>
|
|
stdErr: OutputChannel<String>
|
|
warnings: OutputChannel<Warning>
|
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverOf
open fun solverOf(libraries: Libraries, staticKb: Theory, dynamicKb: Theory): Solver
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverOf
open fun solverOf(staticKb: Theory, dynamicKb: Theory): Solver
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
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverOf
open fun solverOf(libraries: Libraries): Solver
Parameters
| Name | Description |
|---|---|
libraries: Libraries
|
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverWithDefaultBuiltins
open fun solverWithDefaultBuiltins(otherLibraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): Solver
Parameters
| Name | Description |
|---|---|
otherLibraries: Libraries
|
|
flags: FlagStore
|
|
staticKb: Theory
|
|
dynamicKb: Theory
|
|
stdIn: InputChannel<String>
|
|
stdOut: OutputChannel<String>
|
|
stdErr: OutputChannel<String>
|
|
warnings: OutputChannel<Warning>
|
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverWithDefaultBuiltins
open fun solverWithDefaultBuiltins(otherLibraries: Libraries, staticKb: Theory, dynamicKb: Theory): Solver
ReturnValue
| Name | Description |
|---|---|
Solver
|
solverWithDefaultBuiltins
open fun solverWithDefaultBuiltins(staticKb: Theory, dynamicKb: Theory): Solver
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: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver
Parameters
| Name | Description |
|---|---|
libraries: Libraries
|
|
flags: FlagStore
|
|
staticKb: Theory
|
|
dynamicKb: Theory
|
|
stdIn: InputChannel<String>
|
|
stdOut: OutputChannel<String>
|
|
stdErr: OutputChannel<String>
|
|
warnings: OutputChannel<Warning>
|
ReturnValue
| Name | Description |
|---|---|
MutableSolver
|
mutableSolverOf
open fun mutableSolverOf(libraries: Libraries, staticKb: Theory, dynamicKb: Theory): MutableSolver
ReturnValue
| Name | Description |
|---|---|
MutableSolver
|
mutableSolverOf
open fun mutableSolverOf(staticKb: Theory, dynamicKb: Theory): MutableSolver
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
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: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver
Parameters
| Name | Description |
|---|---|
otherLibraries: Libraries
|
|
flags: FlagStore
|
|
staticKb: Theory
|
|
dynamicKb: Theory
|
|
stdIn: InputChannel<String>
|
|
stdOut: OutputChannel<String>
|
|
stdErr: OutputChannel<String>
|
|
warnings: OutputChannel<Warning>
|
ReturnValue
| Name | Description |
|---|---|
MutableSolver
|
mutableSolverWithDefaultBuiltins
open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries, staticKb: Theory, dynamicKb: Theory): MutableSolver
ReturnValue
| Name | Description |
|---|---|
MutableSolver
|
mutableSolverWithDefaultBuiltins
open fun mutableSolverWithDefaultBuiltins(staticKb: Theory, dynamicKb: Theory): MutableSolver
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
|