Singleton

data class Singleton(val value: Term) : FlagDomain

Constructors

constructor(value: Term)

open operator override fun contains(value: Term): Boolean

Performs the given action on each element, giving a lookahead hint (i.e. if there's another element to process after).

Extracts every op/3 directive out of this collection of Clauses, converting each to an Operator.

open operator override fun iterator(): Iterator<Term>

fun <C : Clause> Iterable<C>.partition(unificator: Unificator = Unificator.default, staticByDefault: Boolean = true): ClausePartition

Partitions this collection of clauses into a ClausePartition, using unificator to match directive patterns.

Same as Sequence.toMapEnsuringNoDuplicates, for an Iterable.