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