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

listedOf

@JvmStatic

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

@JvmStatic

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

@JvmStatic

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

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

@JvmStatic

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

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

@JvmStatic

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

@JvmStatic

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

@JvmStatic

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

Creates a Theory, containing the given clauses

@JvmStatic

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

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