17namespace layer1_foundations {
18namespace data_structures {
71 for (i = 0; i < len; i++) {
78 int verbose_level = 0;
90 int verbose_level = 0;
102 int verbose_level = 0;
149 int new_alloc_length;
155 new_alloc_length = 1;
182 for (i =
m; i > idx; i--) {
a catch-all container class for everything related to data structures
uint32_t lint_vec_hash(long int *data, int len)
void sort_and_remove_duplicates()
void write_to_csv_file(std::string &fname, const char *label)
void write_to_ascii_file(std::string &fname)
void init_permutation_from_string(const char *s)
int search(int a, int &idx)
void allocate_and_init_int(int len, int *V)
void print(std::ostream &ost)
void read_ascii_file(std::string &fname)
void insert_at(int a, int idx)
void insert_if_not_yet_there(int a)
void read_binary_file_int4(std::string &fname)
void allocate_and_init(int len, long int *V)
void write_to_binary_file_int4(std::string &fname)
void zero(long int *v, long int len)
long int maximum(long int *v, int len)
long int minimum(long int *v, int len)
a collection of functions related to sorted vectors
void lint_vec_sort_and_remove_duplicates(long int *v, int &len)
int lint_vec_search(long int *v, int len, long int a, int &idx, int verbose_level)
void lint_vec_heapsort(long int *v, int len)
a collection of functions related to file io
void read_set_from_file_int4(std::string &fname, long int *&the_set, int &set_size, int verbose_level)
void lint_vec_write_csv(long int *v, int len, std::string &fname, const char *label)
void write_set_to_file_as_int4(std::string &fname, long int *the_set, int set_size, int verbose_level)
void read_set_from_file(std::string &fname, long int *&the_set, int &set_size, int verbose_level)
void write_set_to_file(std::string &fname, long int *the_set, int set_size, int verbose_level)
data_structures::lint_vec * Lint_vec
#define Lint_vec_copy(A, B, C)
#define Lint_vec_print(A, B, C)
orbiter_kernel_system::orbiter_session * Orbiter
global Orbiter session
the orbiter library for the classification of combinatorial objects