Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: AbstractInterval

@kortexya/reasoninglayer

@kortexya/reasoninglayer / AbstractInterval

Interface: AbstractInterval

Section titled “Interface: AbstractInterval”

Defined in: src/types/verification.ts:193

A scalar interval [lo, hi] with possibly infinite endpoints.

Properties

Section titled “Properties”

hi

Section titled “hi”

hi: AbstractIntervalBound

Defined in: src/types/verification.ts:197

Upper bound. Must not be below lo.

isBottom

Section titled “isBottom”

isBottom: boolean

Defined in: src/types/verification.ts:199

Marks the canonical empty (bottom) interval.

lo

Section titled “lo”

lo: AbstractIntervalBound

Defined in: src/types/verification.ts:195

Lower bound.