theory/it.unibo.tuprolog.collections.rete.custom/ReteTree/Companion/unordered

unordered

fun unordered(unificator: Unificator, clauses: Iterable<Clause>): ReteTree

Creates an unordered ReteTree based on the given Iterable

fun unordered(unificator: Unificator, vararg clauses: Clause): ReteTree

Creates an unordered ReteTree based on the given vararg