solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.library.impl
/
LibraryImpl
/
LibraryImpl
Library
Impl
common
fun
LibraryImpl
(
operators
:
<ERROR CLASS>
,
theory
:
<ERROR CLASS>
,
primitives
:
Map
<
Signature
,
Primitive
>
,
functions
:
Map
<
Signature
,
LogicFunction
>
)
Content copied to clipboard