regular_ls_classify.cpp File Reference

#include "orbiter.h"

Go to the source code of this file.

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects
namespace	orbiter::layer5_applications
	classes for combinatorial objects and their classification
namespace	orbiter::layer5_applications::apps_combinatorics
	Classification problems in combinatorics, including design theory.

Functions
void	orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_print_set (ostream &ost, int len, long int *S, void *data)
void	orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_early_test_function (long int *S, int len, long int *candidates, int nb_candidates, long int *good_candidates, int &nb_good_candidates, void *data, int verbose_level)
void	orbiter::layer5_applications::apps_combinatorics::regular_ls_classify_lifting_prepare_function_new (exact_cover *EC, int starter_case, long int *candidates, int nb_candidates, groups::strong_generators *Strong_gens, solvers::diophant *&Dio, long int *&col_labels, int &f_ruled_out, int verbose_level)