nondet.py File Reference

Namespaces
namespace	nondet

Functions
int	nondet._nondet_size (int max_size)
int	nondet._nondet_dict_size (int max_size)
int	nondet._nondet_str_key_bound (int max_size)
int	nondet._nondet_bool_key_bound (int max_size)
list	nondet._nondet_list_int (int max_size)
list	nondet._nondet_list_float (int max_size)
list	nondet._nondet_list_bool (int max_size)
list	nondet._nondet_list_str (int max_size)
dict	nondet._nondet_dict_int_int (int max_size)
dict	nondet._nondet_dict_int_float (int max_size)
dict	nondet._nondet_dict_int_bool (int max_size)
dict	nondet._nondet_dict_int_str (int max_size)
dict	nondet._nondet_dict_str_int (int max_size)
dict	nondet._nondet_dict_str_float (int max_size)
dict	nondet._nondet_dict_str_bool (int max_size)
dict	nondet._nondet_dict_str_str (int max_size)
dict	nondet._nondet_dict_bool_int (int max_size)
dict	nondet._nondet_dict_bool_float (int max_size)
dict	nondet._nondet_dict_bool_bool (int max_size)
dict	nondet._nondet_dict_bool_str (int max_size)
list	nondet.nondet_list (int max_size=_DEFAULT_NONDET_SIZE, Any elem_type=None)
dict	nondet.nondet_dict (int max_size=_DEFAULT_NONDET_SIZE, Any key_type=None, Any value_type=None)

Variables
int	nondet._DEFAULT_NONDET_SIZE = 8
int	nondet._MAX_NONDET_STR_KEYS = 8
int	nondet._MAX_NONDET_BOOL_KEYS = 2