IntRange

data class IntRange(val minInclusive: BigInteger, val maxInclusive: BigInteger) : FlagDomain

Constructors

constructor(minInclusive: BigInteger, maxInclusive: BigInteger)

constructor(min: Int, max: Int)

constructor(min: Term, max: Term)

val maxInclusive: BigInteger

val minInclusive: BigInteger

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.