builtins Namespace Reference

Functions
bool	all (list[Any] iterable)
int	max (list[int] iterable)
float	max_float (list[float] iterable)
str	max_str (list[str] iterable)
int	max_default (list[int] iterable, int default)
float	max_default_float (list[float] iterable, float default)
str	max_default_str (list[str] iterable, str default)
int	min (list[int] iterable)
float	min_float (list[float] iterable)
str	min_str (list[str] iterable)
bool	any (list[Any] iterable)
int	min_default (list[int] iterable, int default)
float	min_default_float (list[float] iterable, float default)
str	min_default_str (list[str] iterable, str default)
int	sum (list[int] iterable, int start=0)
float	sum_float (list[float] iterable, float start=0.0)
list[int]	sorted (list[int] iterable, bool reverse=False)
list[float]	sorted_float (list[float] iterable, bool reverse=False)
list[str]	sorted_str (list[str] iterable, bool reverse=False)
list[int]	reversed (list[int] iterable)
list[float]	reversed_float (list[float] iterable)
list[str]	reversed_str (list[str] iterable)
int	_starred_arity_error ()
int	_call_type_error (str message)

Function Documentation

_call_type_error()

int builtins._call_type_error ( str message )

protected

_starred_arity_error()

int builtins._starred_arity_error ( )

protected

all()

bool builtins.all

(

list[Any]

iterable

)

Return True if all elements of the iterable are true (or if empty).

any()

bool builtins.any

(

list[Any]

iterable

)

Return True if any element of the iterable is true.

max()

int builtins.max

(

list[int]

iterable

)

Return the maximum element from an iterable of integers.

max_default()

int builtins.max_default	(	list[int]	iterable,
		int	default )

Return the max of an iterable of ints, or default if empty.

max_default_float()

float builtins.max_default_float	(	list[float]	iterable,
		float	default )

Return the max of an iterable of floats, or default if empty.

max_default_str()

str builtins.max_default_str	(	list[str]	iterable,
		str	default )

Return the max of an iterable of strings, or default if empty.

max_float()

float builtins.max_float

(

list[float]

iterable

)

Return the maximum element from an iterable of floats.

max_str()

str builtins.max_str

(

list[str]

iterable

)

Return the maximum element from an iterable of strings.

min()

int builtins.min

(

list[int]

iterable

)

Return the minimum element from an iterable of integers.

min_default()

int builtins.min_default	(	list[int]	iterable,
		int	default )

Return the min of an iterable of ints, or default if empty.

min_default_float()

float builtins.min_default_float	(	list[float]	iterable,
		float	default )

Return the min of an iterable of floats, or default if empty.

min_default_str()

str builtins.min_default_str	(	list[str]	iterable,
		str	default )

Return the min of an iterable of strings, or default if empty.

min_float()

float builtins.min_float

(

list[float]

iterable

)

Return the minimum element from an iterable of floats.

min_str()

str builtins.min_str

(

list[str]

iterable

)

Return the minimum element from an iterable of strings.

reversed()

list[int] builtins.reversed

(

list[int]

iterable

)

Return a new list with the items of iterable in reverse order.

CPython's reversed() yields a reverse iterator; modelling it as a freshly
built list is sound in every list-consuming context ESBMC handles (slice
assignment, list(), iteration), mirroring how sorted() returns a list.

reversed_float()

list[float] builtins.reversed_float

(

list[float]

iterable

)

Return a new list with the items of iterable in reverse order.

reversed_str()

list[str] builtins.reversed_str

(

list[str]

iterable

)

Return a new list with the items of iterable in reverse order.

sorted()

list[int] builtins.sorted	(	list[int]	iterable,
		bool	reverse = False )

Return a new sorted list from the items in iterable.

sorted_float()

list[float] builtins.sorted_float	(	list[float]	iterable,
		bool	reverse = False )

Return a new sorted list from the items in iterable.

sorted_str()

list[str] builtins.sorted_str	(	list[str]	iterable,
		bool	reverse = False )

Return a new sorted list from the items in iterable.

sum()

int builtins.sum	(	list[int]	iterable,
		int	start = 0 )

Return start plus the sum of all elements in an iterable of integers.

sum_float()

float builtins.sum_float	(	list[float]	iterable,
		float	start = 0.0 )

Return start plus the sum of all elements in an iterable of floats.