theory
/
it.unibo.tuprolog.theory
/
MutableTheory
/
Companion
/
emptyIndexed
empty
Indexed
@
JvmStatic
()
fun
emptyIndexed
():
MutableTheory
Content copied to clipboard
Creates an empty
MutableTheory
backed by an indexed data structure