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

indexedOf

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

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


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

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