numeric-domains-0.1.0.0: Numeric Domains

Index

<..<Numeric.Domain
<..<=Numeric.Domain
<=..<Numeric.Domain
<=..<=Numeric.Domain
absNumeric.Interval
adjacentNumeric.Distance
adjacentLowerNumeric.Bound
adjacentUpperNumeric.Bound
applyResultNumeric.Bound
BothNumeric.Bound
closedLowerNumeric.Bound
closedUpperNumeric.Bound
containsNumeric.Interval
containsLowerNumeric.Bound
containsUpperNumeric.Bound
difference 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
DistNumeric.Distance
DistanceNumeric.Distance
distanceNumeric.Distance
div 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
divLowerNumeric.Bound
divLowerUpperNumeric.Bound
divUpperNumeric.Bound
divUpperLowerNumeric.Bound
DomainNumeric.Domain
elems 
1 (Function)Numeric.Bound
2 (Function)Numeric.Interval
3 (Function)Numeric.Domain
emptyNumeric.Domain
FiniteNumeric.Distance
greaterOrEqualNumeric.Domain
greaterOrEqualDomainNumeric.Domain
greaterThanNumeric.Domain
greaterThanDomainNumeric.Domain
hasNegativesNumeric.Interval
hasPositivesNumeric.Interval
infiniteLowerNumeric.Bound
infiniteUpperNumeric.Bound
intersect 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
IntervalNumeric.Interval
interval 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
intervalsNumeric.Domain
inverseAbsNumeric.Domain
inverseSignumNumeric.Domain
isAboveNumeric.Bound
isBelowNumeric.Bound
isInfinite 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
isInfiniteLowerNumeric.Bound
isInfiniteUpperNumeric.Bound
isNegativeLowerNumeric.Bound
isNegativeUpperNumeric.Bound
isPositiveLowerNumeric.Bound
isPositiveUpperNumeric.Bound
isSingleton 
1 (Function)Numeric.Bound
2 (Function)Numeric.Interval
3 (Function)Numeric.Domain
isSubsetOfNumeric.Domain
isZeroLowerNumeric.Bound
isZeroUpperNumeric.Bound
lessOrEqualNumeric.Domain
lessOrEqualDomainNumeric.Domain
lessThanNumeric.Domain
lessThanDomainNumeric.Domain
LowerNumeric.Bound
LowerBoundNumeric.Bound
lowerBoundNumeric.Interval
lowerBoundedNumeric.Interval
maxDomainNumeric.Domain
maxIntervalNumeric.Interval
maxValue 
1 (Function)Numeric.Bound
2 (Function)Numeric.Interval
3 (Function)Numeric.Domain
member 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
mergeNumeric.Interval
mergeableNumeric.Bound
minusNumeric.Interval
minusLowerNumeric.Bound
minusUpperNumeric.Bound
minValue 
1 (Function)Numeric.Bound
2 (Function)Numeric.Interval
3 (Function)Numeric.Domain
negateNumeric.Interval
negateLowerNumeric.Bound
negateUpperNumeric.Bound
NegativeInfiniteNumeric.Distance
notEqualNumeric.Domain
nullNumeric.Domain
openLowerNumeric.Bound
openUpperNumeric.Bound
plusNumeric.Interval
plusLowerNumeric.Bound
plusUpperNumeric.Bound
PositiveInfiniteNumeric.Distance
pretty 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
prettyLowerNumeric.Bound
prettyUpperNumeric.Bound
putPrettyLnNumeric.Domain
recipLowerNumeric.Bound
recipUpperNumeric.Bound
ResultNumeric.Bound
sameElementsNumeric.Domain
shiftNumeric.Distance
singleton 
1 (Function)Numeric.Interval
2 (Function)Numeric.Domain
timesNumeric.Interval
timesLowerNumeric.Bound
timesMixedNumeric.Bound
timesUpperNumeric.Bound
unionNumeric.Domain
UpperNumeric.Bound
UpperBoundNumeric.Bound
upperBoundNumeric.Interval
upperBoundedNumeric.Interval