|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Variables | |
| float | pi = 3.141592653589793 |
| float | e = 2.718281828459045 |
| float | inf = float('inf') |
| float | tau = 6.283185307179586 |
| float | nan = float('nan') |
Calculate arccosine of x (in radians)
Raises:
ValueError: If |x| > 1 (math domain error)
Calculate arcsine of x (in radians)
Raises:
ValueError: If |x| > 1 (math domain error)
Calculate binomial coefficient C(n, k) = n! / (k! * (n-k)!)
Args:
n: Total number of items (non-negative integer)
k: Number of items to choose (non-negative integer)
Returns:
The binomial coefficient, or 0 if k > n
Raises:
ValueError: If n or k are negative
TypeError: If n or k are not integers
Calculate cosine of x (in radians)
Args:
x: Input angle in radians
Returns:
Cosine of x
Split x into mantissa and exponent (x = m * 2**e), with m in [0.5, 1.0) (or 0.0 if x == 0)
Calculate the gamma function of x. For positive integers x, this function satisfies gamma(x) = (x - 1)!.
Calculate the natural logarithm of the absolute value of the gamma function
Calculate natural logarithm of x
Args:
x: Positive number
Returns:
Natural logarithm of x
Raises:
ValueError: If x <= 0 (math domain error)
Calculate base-10 logarithm of x
Raises:
ValueError: If x <= 0 (math domain error)
Calculate base-2 logarithm of x
Raises:
ValueError: If x <= 0 (math domain error)
Calculate sine of x (in radians)
Args:
x: Input angle in radians
Returns:
Sine of x
Calculate square root of x
Args:
x: Non-negative number
Returns:
Square root of x
Raises:
ValueError: If x is negative (math domain error)
| float math.e = 2.718281828459045 |
| float math.pi = 3.141592653589793 |
| float math.tau = 6.283185307179586 |