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

Companion

object Companion

Functions

Link copied to clipboard
fun emptyOrdered(unificator: Unificator): ReteTree

Creates an empty ordered ReteTree

Link copied to clipboard
fun emptyUnordered(unificator: Unificator): ReteTree

Creates an empty unordered ReteTree

Link copied to clipboard
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

Link copied to clipboard
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

Generated by Dokka
© 2026 Copyright