indexedOf

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

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

@JvmStatic()
fun indexedOf(vararg clauses: Scope.() -> Clause): 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