Module src/abstract-interpretation/data-frame/domain

Modules

<internal>

Interfaces

DataFrameDomain

Type Aliases

ColNamesDomain
DataFrameStateDomain
IntervalDomain

Variables

ColNamesBottom
ColNamesTop
DataFrameBottom
DataFrameTop
IntervalBottom
IntervalTop

Functions

addInterval
equalColNames
equalDataFrameDomain
equalDataFrameState
equalInterval
extendIntervalToInfinity
extendIntervalToZero
joinColNames
joinDataFrames
joinDataFrameStates
joinInterval
leqColNames
leqInterval
maxInterval
meetColNames
meetDataFrames
meetDataFrameStates
meetInterval
minInterval
satisfiesColsNames
satisfiesInterval
satisfiesLeqInterval
subtractColNames
subtractInterval
wideningColNames
wideningDataFrames
wideningDataFrameStates
wideningInterval