Manuals/calci/BETWEENCORE

BETWEENCORE (FirstValue,Value,SecondValue,Type)

• $FirstValue$ is the minimum value.
• $SecondValue$ is the maximum value.
• $Value$ is any real number.

Description

• This function is the tester function of in between values.
• In $BETWEENCORE(FirstValue,Value,SecondValue,Type)$, $FirstValue$ is the minimum value,$SecondValue$ is the maximum value.
• $Value$ is the number to find the value is in the given range or not.
• This function will return the result as TRUE when the given number with in the given range of values.
• Otherwise this function will return the result as FALSE.

Examples

1. BETWEENCORE(10,32,100) = true
2. BETWEENCORE(-10,-3,0) = true
3. BETWEENCORE(1.001,1.2,1.01) = false
4. BETWEENCORE(1/4,1/2,3/4) = true

See Also

• XBETWEEN
• BETWEEN
• MEDIAN

References

Between

• List of Main Z Functions

• Z3 home