listedOf

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

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

@JvmStatic()
fun listedOf(vararg clause: Scope.() -> Clause): MutableTheory
Content copied to clipboard

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