get_device_num

get_device_num(backend_name='')

Retrieves the number of Houmo devices with the specified backend name.

Parameters:

backend_name (str) -- The name of the backend. You can get the backend name via get_supported_backend(). If set the value to "", the default backend is used for query.

Returns:

device_num -- The number of Houmo devices with the backend name.

Return type:

int