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

ordered

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

Creates an ordered ReteTree based on the given Iterable

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

Creates an ordered ReteTree based on the given vararg