theory/it.unibo.tuprolog.theory/MutableTheory/Companion/emptyIndexed

emptyIndexed

@JvmStatic
fun emptyIndexed(): MutableTheory
Content copied to clipboard

Creates an empty MutableTheory backed by an indexed data structure