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

listedOf

@JvmStatic

fun listedOf(vararg clause: <ERROR CLASS>): MutableTheory

@JvmStatic

fun listedOf(clauses: Iterable<<ERROR CLASS>>): MutableTheory

@JvmStatic

fun listedOf(clauses: Sequence<<ERROR CLASS>>): MutableTheory

Creates a MutableTheory backed by a list, containing the given clauses

@JvmStatic

fun listedOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): MutableTheory

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

@JvmStatic

fun of(vararg clause: <ERROR CLASS>): MutableTheory

@JvmStatic

fun of(clauses: Iterable<<ERROR CLASS>>): MutableTheory

@JvmStatic

fun of(clauses: Sequence<<ERROR CLASS>>): MutableTheory

Creates a MutableTheory, containing the given clauses

@JvmStatic

fun of(vararg clauses: <ERROR CLASS>.() -> <ERROR CLASS>): MutableTheory

Let developers easily create a MutableTheory, while avoiding variables names clashing by using a different Scope for each Clause