ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
numpy Namespace Reference

Functions

list[Any] array (list[Any] data)
list[float] zeros (int shape)
list[float] ones (int shape)
list[float] empty (int shape)
list empty_like (list a)
list zeros_like (list a)
list ones_like (list a)
list full_like (list a, Any fill_value)
float add (int a, int b)
float subtract (int a, int b)
float multiply (int a, int b)
float divide (int a, int b)
float power (int a, int b)
int ceil (float x)
int floor (float x)
float fabs (float x)
float sqrt (float x)
float trunc (float x)
float round (float x, int decimals=0)
float sin (float x)
float cos (float x)
float arccos (float x)
float exp (float x)
float fmod (float x)
float arctan (float x)
float arcsin (float x)
float tan (float x)
float log (float x)
float log2 (float x)
float log10 (float x)
float sinh (float x)
float cosh (float x)
float tanh (float x)
float rint (float x)
float remainder (float x, float y)
float nextafter (float x, float y)
tuple[float, float] modf (float x)
tuple[float, int] frexp (float x)
bool isclose (float a, float b, float rtol=1e-05, float atol=1e-08, bool equal_nan=False)
float copysign (float x, float y)
float fmin (float x, float y)
float fmax (float x, float y)
Any greater (Any a, Any b)
Any less (Any a, Any b)
Any greater_equal (Any a, Any b)
Any less_equal (Any a, Any b)
Any equal (Any a, Any b)
Any not_equal (Any a, Any b)
Any logical_and (Any a, Any b)
Any logical_or (Any a, Any b)
Any logical_not (Any a)
Any sum (Any a, int axis=-1)
Any prod (Any a, int axis=-1)
Any min (Any a, int axis=-1)
Any max (Any a, int axis=-1)
Any mean (Any a, int axis=-1)
Any argmin (Any a, int axis=-1)
Any argmax (Any a, int axis=-1)
Any where (Any cond, Any x, Any y)
list[int] arange (int start, int stop=0, int step=1)
Any full (Any shape, Any fill_value)
list[list[int]] eye (int n, int m=0)
list[list[int]] identity (int n)
list[float] linspace (float start, float stop, int num=50)
list squeeze (list a)
list stack (list arrays, int axis=0)
list concatenate (list arrays, int axis=0)
float dot (float a, float b)
float matmul (float a, float b)
float transpose (float a, float b)

Variables

float pi = math.pi
float e = math.e

Function Documentation

◆ add()

float numpy.add ( int a,
int b )

◆ arange()

list[int] numpy.arange ( int start,
int stop = 0,
int step = 1 )

◆ arccos()

float numpy.arccos ( float x)

◆ arcsin()

float numpy.arcsin ( float x)

◆ arctan()

float numpy.arctan ( float x)

◆ argmax()

Any numpy.argmax ( Any a,
int axis = -1 )

◆ argmin()

Any numpy.argmin ( Any a,
int axis = -1 )

◆ array()

list[Any] numpy.array ( list[Any] data)

◆ ceil()

int numpy.ceil ( float x)

◆ concatenate()

list numpy.concatenate ( list arrays,
int axis = 0 )

◆ copysign()

float numpy.copysign ( float x,
float y )

◆ cos()

float numpy.cos ( float x)

◆ cosh()

float numpy.cosh ( float x)

◆ divide()

float numpy.divide ( int a,
int b )

◆ dot()

float numpy.dot ( float a,
float b )

◆ empty()

list[float] numpy.empty ( int shape)

◆ empty_like()

list numpy.empty_like ( list a)

◆ equal()

Any numpy.equal ( Any a,
Any b )

◆ exp()

float numpy.exp ( float x)

◆ eye()

list[list[int]] numpy.eye ( int n,
int m = 0 )

◆ fabs()

float numpy.fabs ( float x)

◆ floor()

int numpy.floor ( float x)

◆ fmax()

float numpy.fmax ( float x,
float y )

◆ fmin()

float numpy.fmin ( float x,
float y )

◆ fmod()

float numpy.fmod ( float x)

◆ frexp()

tuple[float, int] numpy.frexp ( float x)

◆ full()

Any numpy.full ( Any shape,
Any fill_value )

◆ full_like()

list numpy.full_like ( list a,
Any fill_value )

◆ greater()

Any numpy.greater ( Any a,
Any b )

◆ greater_equal()

Any numpy.greater_equal ( Any a,
Any b )

◆ identity()

list[list[int]] numpy.identity ( int n)

◆ isclose()

bool numpy.isclose ( float a,
float b,
float rtol = 1e-05,
float atol = 1e-08,
bool equal_nan = False )

◆ less()

Any numpy.less ( Any a,
Any b )

◆ less_equal()

Any numpy.less_equal ( Any a,
Any b )

◆ linspace()

list[float] numpy.linspace ( float start,
float stop,
int num = 50 )

◆ log()

float numpy.log ( float x)

◆ log10()

float numpy.log10 ( float x)

◆ log2()

float numpy.log2 ( float x)

◆ logical_and()

Any numpy.logical_and ( Any a,
Any b )

◆ logical_not()

Any numpy.logical_not ( Any a)

◆ logical_or()

Any numpy.logical_or ( Any a,
Any b )

◆ matmul()

float numpy.matmul ( float a,
float b )

◆ max()

Any numpy.max ( Any a,
int axis = -1 )

◆ mean()

Any numpy.mean ( Any a,
int axis = -1 )

◆ min()

Any numpy.min ( Any a,
int axis = -1 )

◆ modf()

tuple[float, float] numpy.modf ( float x)

◆ multiply()

float numpy.multiply ( int a,
int b )

◆ nextafter()

float numpy.nextafter ( float x,
float y )

◆ not_equal()

Any numpy.not_equal ( Any a,
Any b )

◆ ones()

list[float] numpy.ones ( int shape)

◆ ones_like()

list numpy.ones_like ( list a)

◆ power()

float numpy.power ( int a,
int b )

◆ prod()

Any numpy.prod ( Any a,
int axis = -1 )

◆ remainder()

float numpy.remainder ( float x,
float y )

◆ rint()

float numpy.rint ( float x)

◆ round()

float numpy.round ( float x,
int decimals = 0 )

◆ sin()

float numpy.sin ( float x)

◆ sinh()

float numpy.sinh ( float x)

◆ sqrt()

float numpy.sqrt ( float x)

◆ squeeze()

list numpy.squeeze ( list a)

◆ stack()

list numpy.stack ( list arrays,
int axis = 0 )

◆ subtract()

float numpy.subtract ( int a,
int b )

◆ sum()

Any numpy.sum ( Any a,
int axis = -1 )

◆ tan()

float numpy.tan ( float x)

◆ tanh()

float numpy.tanh ( float x)

◆ transpose()

float numpy.transpose ( float a,
float b )

◆ trunc()

float numpy.trunc ( float x)

◆ where()

Any numpy.where ( Any cond,
Any x,
Any y )

◆ zeros()

list[float] numpy.zeros ( int shape)

◆ zeros_like()

list numpy.zeros_like ( list a)

Variable Documentation

◆ e

float numpy.e = math.e

◆ pi

float numpy.pi = math.pi