Companion

object Companion
Content copied to clipboard

Functions

empty
Link copied to clipboard
@JvmStatic()
fun empty(): MutableTheory
Content copied to clipboard
Creates an empty MutableTheory
emptyIndexed
Link copied to clipboard
@JvmStatic()
fun emptyIndexed(): MutableTheory
Content copied to clipboard
Creates an empty MutableTheory backed by an indexed data structure
emptyListed
Link copied to clipboard
@JvmStatic()
fun emptyListed(): MutableTheory
Content copied to clipboard
Creates a MutableTheory backed by a list, containing the given clauses
indexedOf
Link copied to clipboard
@JvmStatic()
fun indexedOf(vararg clause: Clause): MutableTheory
Content copied to clipboard
Creates a MutableTheory backed by an indexed data structure, containing the given clauses
@JvmStatic()
fun indexedOf(vararg clauses: Scope.() -> Clause): MutableTheory
Content copied to clipboard
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
@JvmStatic()
fun indexedOf(clauses: Iterable<Clause>): MutableTheory
Content copied to clipboard
Creates a MutableTheory backed by an indexed data structure, containing the given clauses
@JvmStatic()
fun indexedOf(clauses: Sequence<Clause>): MutableTheory
Content copied to clipboard
Creates a MutableTheory backed by an indexed data structure, containing the given clauses
listedOf
Link copied to clipboard
@JvmStatic()
fun listedOf(vararg clause: 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
@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(clauses: Sequence<Clause>): MutableTheory
Content copied to clipboard
Creates a MutableTheory backed by a list, containing the given clauses
of
Link copied to clipboard
@JvmStatic()
fun of(vararg clause: Clause): MutableTheory
Content copied to clipboard
Creates a MutableTheory, containing the given clauses
@JvmStatic()
fun of(vararg clauses: Scope.() -> Clause): MutableTheory
Content copied to clipboard
Let developers easily create a MutableTheory, while avoiding variables names clashing by using a different Scope for each Clause
@JvmStatic()
fun of(clauses: Iterable<Clause>): MutableTheory
Content copied to clipboard
Creates a MutableTheory, containing the given clauses
@JvmStatic()
fun of(clauses: Sequence<Clause>): MutableTheory
Content copied to clipboard
Creates a MutableTheory, containing the given clauses