MinMaxCalcultor

Namespace: Informedica.GenSolver.Lib
Parent Module: ValueRange

Functions to calculate the Minimum and Maximum in a ValueRange

Functions and values

Function or value	Description
`addition (...)` Signature: (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> Minimum option * Maximum option	Calculate `Minimum` option and `Maximum` option for addition of (min1, max1) and (min2, max2)
`calc c op (x1, incl1) (x2, incl2)` Signature: c:(bool -> BigRational -> '?6980) -> op:(BigRational -> BigRational -> BigRational) -> (x1:BigRational option * incl1:bool) -> (x2:BigRational option * incl2:bool) -> '?6980 option Type parameters: '?6980	Calculate x1 and x2 with operator op and use incl1 and inc2 to determine whether the result is inclusive. Use constructor c to create the optional result.
`calcMax` Signature: (BigRational -> BigRational -> BigRational) -> BigRational option * bool -> BigRational option * bool -> Maximum option	Calculate an optional `Maximum`
`calcMin` Signature: (BigRational -> BigRational -> BigRational) -> BigRational option * bool -> BigRational option * bool -> Minimum option	Calculate an optional `Minimum`
`calcMinMax _arg1` Signature: _arg1:(BigRational -> BigRational -> BigRational) -> BigRational option * bool -> BigRational option * bool -> BigRational option * bool -> BigRational option * bool -> Minimum option * Maximum option	Match the right minmax calcultion according to the operand
`division (...)` Signature: (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> Minimum option * Maximum option	Calculate `Minimum` option and `Maximum` option for division of (min1, max1) and (min2, max2)
`multiplication (...)` Signature: (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> Minimum option * Maximum option	Calculate `Minimum` option and `Maximum` option for multiplication of (min1, max1) and (min2, max2)
`subtraction (...)` Signature: (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> (BigRational option * bool) -> Minimum option * Maximum option	Calculate `Minimum` option and `Maximum` option for subtraction of (min1, max1) and (min2, max2)

Active patterns

Active pattern Description

Active pattern	Description
`( \|PP\|NN\|NP\| ) (min, max)` Signature: (min:BigRational option * max:BigRational option) -> Choice<unit,unit,unit>	Match a min, max tuple min, max to: `PP`: both positive `NN`: both negative `NP`: one negative, the other positive CompiledName: `\|PP\|NN\|NP\|`


            ( |PP|NN|NP| ) (min, max)

Signature: (min:BigRational option * max:BigRational option) -> Choice<unit,unit,unit>

Match a min, max tuple min, max to:

PP: both positive
NN: both negative
NP: one negative, the other positive

CompiledName: |PP|NN|NP|