object StreamsSolverFactory: SolverFactory, Any
Fields
| Name | Description |
|---|---|
val defaultBuiltins: AliasedLibrary
|
Methods
solverOf
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
|
mutableSolverOf
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
|