solve-classic
0.20.9
solve-classic
/
it.unibo.tuprolog.solve.classic
/
ClassicSolverFactory
/
solverOf
solver
Of
open
fun
solverOf
(
libraries
:
<ERROR CLASS>
,
flags
:
<ERROR CLASS>
,
staticKb
:
<ERROR CLASS>
,
dynamicKb
:
<ERROR CLASS>
,
stdIn
:
<ERROR CLASS>
<
String
>
,
stdOut
:
<ERROR CLASS>
<
String
>
,
stdErr
:
<ERROR CLASS>
<
String
>
,
warnings
:
<ERROR CLASS>
<
<ERROR CLASS>
>
)
:
<ERROR CLASS>
Content copied to clipboard