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

indexedOf

@JvmStatic
fun indexedOf(vararg clause: <ERROR CLASS>): MutableTheory
Content copied to clipboard
@JvmStatic
fun indexedOf(clauses: Sequence<<ERROR CLASS>>): MutableTheory
Content copied to clipboard
@JvmStatic
fun indexedOf(clauses: Iterable<<ERROR CLASS>>): MutableTheory
Content copied to clipboard

Creates a MutableTheory backed by an indexed data structure, containing the given clauses


@JvmStatic
fun indexedOf(vararg clauses: <ERROR CLASS>.() -> <ERROR CLASS>): MutableTheory
Content copied to clipboard

Let developers easily create a MutableTheory backed by an indexed data structure, while avoiding variables names clashing by using a different Scope for each Clause