48 range_is_valid (const struct sparse_xarray *sx, size_t ofs, size_t n)  in range_is_valid()
61   struct sparse_xarray *sx = xmalloc (sizeof *sx);  in sparse_xarray_create()  local
138 free_memory_rows (struct sparse_xarray *sx)  in free_memory_rows()
154 sparse_xarray_destroy (struct sparse_xarray *sx)  in sparse_xarray_destroy()
168 sparse_xarray_get_n_columns (const struct sparse_xarray *sx)  in sparse_xarray_get_n_columns()
175 sparse_xarray_get_n_rows (const struct sparse_xarray *sx)  in sparse_xarray_get_n_rows()
193 dump_sparse_xarray_to_disk (struct sparse_xarray *sx)  in dump_sparse_xarray_to_disk()
225 sparse_xarray_contains_row (const struct sparse_xarray *sx,  in sparse_xarray_contains_row()
237 sparse_xarray_read (const struct sparse_xarray *sx, unsigned long int row,  in sparse_xarray_read()
264 write_disk_row (struct sparse_xarray *sx, unsigned long int row,  in write_disk_row()
286 sparse_xarray_write (struct sparse_xarray *sx, unsigned long int row,  in sparse_xarray_write()
322 sparse_xarray_write_columns (struct sparse_xarray *sx, size_t start,  in sparse_xarray_write_columns()
365 scan_first (const struct sparse_xarray *sx)  in scan_first()
377 scan_next (const struct sparse_xarray *sx, unsigned long int start)  in scan_next()
391 get_row (const struct sparse_xarray *sx, unsigned long int idx,  in get_row()
424 sparse_xarray_copy (const struct sparse_xarray *sx, struct sparse_xarray *dx,  in sparse_xarray_copy()
561 sparse_xarray_model_checker_hash (const struct sparse_xarray *sx,  in sparse_xarray_model_checker_hash()