![]() |
Orbiter 2022
Combinatorial Objects
|
interface for various incidence geometries More...
#include <geometry.h>

Public Member Functions | |
| incidence_structure () | |
| ~incidence_structure () | |
| void | null () |
| void | freeself () |
| void | check_point_pairs (int verbose_level) |
| int | lines_through_two_points (int *lines, int p1, int p2, int verbose_level) |
| void | init_projective_space (projective_space *P, int verbose_level) |
| void | init_hjelmslev (hjelmslev *H, int verbose_level) |
| void | init_orthogonal (orthogonal *O, int verbose_level) |
| void | init_by_incidences (int m, int n, int nb_inc, int *X, int verbose_level) |
| void | init_by_R_and_X (int m, int n, int *R, int *X, int max_r, int verbose_level) |
| void | init_by_set_of_sets (data_structures::set_of_sets *SoS, int verbose_level) |
| void | init_by_matrix (int m, int n, int *M, int verbose_level) |
| void | init_by_matrix_as_bitmatrix (int m, int n, data_structures::bitmatrix *Bitmatrix, int verbose_level) |
| void | init_by_matrix2 (int verbose_level) |
| int | nb_points () |
| int | nb_lines () |
| int | get_ij (int i, int j) |
| int | get_lines_on_point (int *data, int i, int verbose_level) |
| int | get_points_on_line (int *data, int j, int verbose_level) |
| int | get_nb_inc () |
| void | save_inc_file (char *fname) |
| void | save_row_by_row_file (char *fname) |
| void | print (std::ostream &ost) |
| void | compute_TDO_safe_first (data_structures::partitionstack &PStack, int depth, int &step, int &f_refine, int &f_refine_prev, int verbose_level) |
| int | compute_TDO_safe_next (data_structures::partitionstack &PStack, int depth, int &step, int &f_refine, int &f_refine_prev, int verbose_level) |
| void | compute_TDO_safe (data_structures::partitionstack &PStack, int depth, int verbose_level) |
| int | compute_TDO (data_structures::partitionstack &PStack, int ht0, int depth, int verbose_level) |
| int | compute_TDO_step (data_structures::partitionstack &PStack, int ht0, int verbose_level) |
| void | get_partition (data_structures::partitionstack &PStack, int *row_classes, int *row_class_idx, int &nb_row_classes, int *col_classes, int *col_class_idx, int &nb_col_classes) |
| int | refine_column_partition_safe (data_structures::partitionstack &PStack, int verbose_level) |
| int | refine_row_partition_safe (data_structures::partitionstack &PStack, int verbose_level) |
| int | refine_column_partition (data_structures::partitionstack &PStack, int ht0, int verbose_level) |
| int | refine_row_partition (data_structures::partitionstack &PStack, int ht0, int verbose_level) |
| void | print_row_tactical_decomposition_scheme_incidences_tex (data_structures::partitionstack &PStack, std::ostream &ost, int f_enter_math_mode, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int f_local_coordinates, int verbose_level) |
| void | print_col_tactical_decomposition_scheme_incidences_tex (data_structures::partitionstack &PStack, std::ostream &ost, int f_enter_math_mode, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int f_local_coordinates, int verbose_level) |
| void | get_incidences_by_row_scheme (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int row_class_idx, int col_class_idx, int rij, int *&incidences, int verbose_level) |
| void | get_incidences_by_col_scheme (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int row_class_idx, int col_class_idx, int kij, int *&incidences, int verbose_level) |
| void | get_row_decomposition_scheme (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int *row_scheme, int verbose_level) |
| void | get_row_decomposition_scheme_if_possible (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int *row_scheme, int verbose_level) |
| void | get_col_decomposition_scheme (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int *col_scheme, int verbose_level) |
| void | row_scheme_to_col_scheme (data_structures::partitionstack &PStack, int *row_classes, int *row_class_inv, int nb_row_classes, int *col_classes, int *col_class_inv, int nb_col_classes, int *row_scheme, int *col_scheme, int verbose_level) |
| void | get_and_print_row_decomposition_scheme (data_structures::partitionstack &PStack, int f_list_incidences, int f_local_coordinates) |
| void | get_and_print_col_decomposition_scheme (data_structures::partitionstack &PStack, int f_list_incidences, int f_local_coordinates) |
| void | get_and_print_decomposition_schemes (data_structures::partitionstack &PStack) |
| void | get_and_print_decomposition_schemes_tex (data_structures::partitionstack &PStack) |
| void | get_and_print_tactical_decomposition_scheme_tex (std::ostream &ost, int f_enter_math, data_structures::partitionstack &PStack) |
| void | get_scheme (int *&row_classes, int *&row_class_inv, int &nb_row_classes, int *&col_classes, int *&col_class_inv, int &nb_col_classes, int *&scheme, int f_row_scheme, data_structures::partitionstack &PStack) |
| void | free_scheme (int *row_classes, int *row_class_inv, int *col_classes, int *col_class_inv, int *scheme) |
| void | get_and_print_row_tactical_decomposition_scheme_tex (std::ostream &ost, int f_enter_math, int f_print_subscripts, data_structures::partitionstack &PStack) |
| void | get_and_print_column_tactical_decomposition_scheme_tex (std::ostream &ost, int f_enter_math, int f_print_subscripts, data_structures::partitionstack &PStack) |
| void | print_non_tactical_decomposition_scheme_tex (std::ostream &ost, int f_enter_math, data_structures::partitionstack &PStack) |
| void | print_line (std::ostream &ost, data_structures::partitionstack &P, int row_cell, int i, int *col_classes, int nb_col_classes, int width, int f_labeled) |
| void | print_column_labels (std::ostream &ost, data_structures::partitionstack &P, int *col_classes, int nb_col_classes, int width) |
| void | print_hline (std::ostream &ost, data_structures::partitionstack &P, int *col_classes, int nb_col_classes, int width, int f_labeled) |
| void | print_partitioned (std::ostream &ost, data_structures::partitionstack &P, int f_labeled) |
| void | point_collinearity_graph (int *Adj, int verbose_level) |
| void | line_intersection_graph (int *Adj, int verbose_level) |
| void | latex_it (std::ostream &ost, data_structures::partitionstack &P) |
| void | rearrange (int *&Vi, int &nb_V, int *&Bj, int &nb_B, int *&R, int *&X, data_structures::partitionstack &P) |
| void | decomposition_print_tex (std::ostream &ost, data_structures::partitionstack &PStack, int f_row_tactical, int f_col_tactical, int f_detailed, int f_local_coordinates, int verbose_level) |
| void | do_tdo_high_level (data_structures::partitionstack &S, int f_tdo_steps, int f_tdo_depth, int tdo_depth, int f_write_tdo_files, int f_pic, int f_include_tdo_scheme, int f_include_tdo_extra, int f_write_tdo_class_files, int verbose_level) |
| void | compute_tdo (data_structures::partitionstack &S, int f_write_tdo_files, int f_pic, int f_include_tdo_scheme, int verbose_level) |
| void | compute_tdo_stepwise (data_structures::partitionstack &S, int TDO_depth, int f_write_tdo_files, int f_pic, int f_include_tdo_scheme, int f_include_extra, int verbose_level) |
| void | init_partitionstack_trivial (data_structures::partitionstack *S, int verbose_level) |
| void | init_partitionstack (data_structures::partitionstack *S, int f_row_part, int nb_row_parts, int *row_parts, int f_col_part, int nb_col_parts, int *col_parts, int nb_distinguished_point_sets, int **distinguished_point_sets, int *distinguished_point_set_size, int nb_distinguished_line_sets, int **distinguished_line_sets, int *distinguished_line_set_size, int verbose_level) |
| void | shrink_aut_generators (int nb_distinguished_point_sets, int nb_distinguished_line_sets, int Aut_counter, int *Aut, int *Base, int Base_length, int verbose_level) |
| void | print_aut_generators (int Aut_counter, int *Aut, int Base_length, int *Base, int *Transversal_length) |
| void | compute_extended_collinearity_graph (int *&Adj, int &v, int *&partition, int f_row_part, int nb_row_parts, int *row_parts, int f_col_part, int nb_col_parts, int *col_parts, int nb_distinguished_point_sets, int **distinguished_point_sets, int *distinguished_point_set_size, int nb_distinguished_line_sets, int **distinguished_line_sets, int *distinguished_line_set_size, int verbose_level) |
| void | compute_extended_matrix (int *&M, int &nb_rows, int &nb_cols, int &total, int *&partition, int f_row_part, int nb_row_parts, int *row_parts, int f_col_part, int nb_col_parts, int *col_parts, int nb_distinguished_point_sets, int **distinguished_point_sets, int *distinguished_point_set_size, int nb_distinguished_line_sets, int **distinguished_line_sets, int *distinguished_line_set_size, int verbose_level) |
| data_structures::bitvector * | encode_as_bitvector () |
| incidence_structure * | apply_canonical_labeling (long int *canonical_labeling, int verbose_level) |
| void | save_as_csv (std::string &fname_csv, int verbose_level) |
| void | init_large_set (long int *blocks, int N_points, int design_b, int design_k, int partition_class_size, int *&partition, int verbose_level) |
Public Attributes | |
| std::string | label |
| int | nb_rows |
| int | nb_cols |
| int | f_rowsums_constant |
| int | f_colsums_constant |
| int | r |
| int | k |
| int * | nb_lines_on_point |
| int * | nb_points_on_line |
| int | max_r |
| int | min_r |
| int | max_k |
| int | min_k |
| int * | lines_on_point |
| int * | points_on_line |
| int | realization_type |
| int * | M |
| orthogonal * | O |
| hjelmslev * | H |
| projective_space * | P |
interface for various incidence geometries
Definition at line 1130 of file geometry.h.
| orbiter::layer1_foundations::incidence_structure::incidence_structure | ( | ) |
Definition at line 23 of file incidence_structure.cpp.
| orbiter::layer1_foundations::incidence_structure::~incidence_structure | ( | ) |
Definition at line 36 of file incidence_structure.cpp.
| incidence_structure * orbiter::layer1_foundations::incidence_structure::apply_canonical_labeling | ( | long int * | canonical_labeling, |
| int | verbose_level | ||
| ) |
Definition at line 3876 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::check_point_pairs | ( | int | verbose_level | ) |
Definition at line 71 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_extended_collinearity_graph | ( | int *& | Adj, |
| int & | v, | ||
| int *& | partition, | ||
| int | f_row_part, | ||
| int | nb_row_parts, | ||
| int * | row_parts, | ||
| int | f_col_part, | ||
| int | nb_col_parts, | ||
| int * | col_parts, | ||
| int | nb_distinguished_point_sets, | ||
| int ** | distinguished_point_sets, | ||
| int * | distinguished_point_set_size, | ||
| int | nb_distinguished_line_sets, | ||
| int ** | distinguished_line_sets, | ||
| int * | distinguished_line_set_size, | ||
| int | verbose_level | ||
| ) |
Definition at line 3534 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_extended_matrix | ( | int *& | M, |
| int & | nb_rows, | ||
| int & | nb_cols, | ||
| int & | total, | ||
| int *& | partition, | ||
| int | f_row_part, | ||
| int | nb_row_parts, | ||
| int * | row_parts, | ||
| int | f_col_part, | ||
| int | nb_col_parts, | ||
| int * | col_parts, | ||
| int | nb_distinguished_point_sets, | ||
| int ** | distinguished_point_sets, | ||
| int * | distinguished_point_set_size, | ||
| int | nb_distinguished_line_sets, | ||
| int ** | distinguished_line_sets, | ||
| int * | distinguished_line_set_size, | ||
| int | verbose_level | ||
| ) |
Definition at line 3709 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::compute_TDO | ( | data_structures::partitionstack & | PStack, |
| int | ht0, | ||
| int | depth, | ||
| int | verbose_level | ||
| ) |
Definition at line 891 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_tdo | ( | data_structures::partitionstack & | S, |
| int | f_write_tdo_files, | ||
| int | f_pic, | ||
| int | f_include_tdo_scheme, | ||
| int | verbose_level | ||
| ) |
Definition at line 2960 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_TDO_safe | ( | data_structures::partitionstack & | PStack, |
| int | depth, | ||
| int | verbose_level | ||
| ) |
Definition at line 818 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_TDO_safe_first | ( | data_structures::partitionstack & | PStack, |
| int | depth, | ||
| int & | step, | ||
| int & | f_refine, | ||
| int & | f_refine_prev, | ||
| int | verbose_level | ||
| ) |
Definition at line 756 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::compute_TDO_safe_next | ( | data_structures::partitionstack & | PStack, |
| int | depth, | ||
| int & | step, | ||
| int & | f_refine, | ||
| int & | f_refine_prev, | ||
| int | verbose_level | ||
| ) |
Definition at line 770 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::compute_TDO_step | ( | data_structures::partitionstack & | PStack, |
| int | ht0, | ||
| int | verbose_level | ||
| ) |
Definition at line 939 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::compute_tdo_stepwise | ( | data_structures::partitionstack & | S, |
| int | TDO_depth, | ||
| int | f_write_tdo_files, | ||
| int | f_pic, | ||
| int | f_include_tdo_scheme, | ||
| int | f_include_extra, | ||
| int | verbose_level | ||
| ) |
Definition at line 3058 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::decomposition_print_tex | ( | std::ostream & | ost, |
| data_structures::partitionstack & | PStack, | ||
| int | f_row_tactical, | ||
| int | f_col_tactical, | ||
| int | f_detailed, | ||
| int | f_local_coordinates, | ||
| int | verbose_level | ||
| ) |
Definition at line 2793 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::do_tdo_high_level | ( | data_structures::partitionstack & | S, |
| int | f_tdo_steps, | ||
| int | f_tdo_depth, | ||
| int | tdo_depth, | ||
| int | f_write_tdo_files, | ||
| int | f_pic, | ||
| int | f_include_tdo_scheme, | ||
| int | f_include_tdo_extra, | ||
| int | f_write_tdo_class_files, | ||
| int | verbose_level | ||
| ) |
Definition at line 2883 of file incidence_structure.cpp.
| data_structures::bitvector * orbiter::layer1_foundations::incidence_structure::encode_as_bitvector | ( | ) |
Definition at line 3855 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::free_scheme | ( | int * | row_classes, |
| int * | row_class_inv, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int * | scheme | ||
| ) |
Definition at line 2299 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::freeself | ( | ) |
Definition at line 45 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_col_decomposition_scheme | ( | data_structures::partitionstack & | PStack, |
| int | f_list_incidences, | ||
| int | f_local_coordinates | ||
| ) |
Definition at line 2063 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_column_tactical_decomposition_scheme_tex | ( | std::ostream & | ost, |
| int | f_enter_math, | ||
| int | f_print_subscripts, | ||
| data_structures::partitionstack & | PStack | ||
| ) |
Definition at line 2362 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_decomposition_schemes | ( | data_structures::partitionstack & | PStack | ) |
Definition at line 2116 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_decomposition_schemes_tex | ( | data_structures::partitionstack & | PStack | ) |
Definition at line 2169 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_row_decomposition_scheme | ( | data_structures::partitionstack & | PStack, |
| int | f_list_incidences, | ||
| int | f_local_coordinates | ||
| ) |
Definition at line 2016 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_row_tactical_decomposition_scheme_tex | ( | std::ostream & | ost, |
| int | f_enter_math, | ||
| int | f_print_subscripts, | ||
| data_structures::partitionstack & | PStack | ||
| ) |
Definition at line 2311 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_and_print_tactical_decomposition_scheme_tex | ( | std::ostream & | ost, |
| int | f_enter_math, | ||
| data_structures::partitionstack & | PStack | ||
| ) |
Definition at line 2227 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_col_decomposition_scheme | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int * | col_scheme, | ||
| int | verbose_level | ||
| ) |
Definition at line 1922 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::get_ij | ( | int | i, |
| int | j | ||
| ) |
Definition at line 520 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_incidences_by_col_scheme | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int | row_class_idx, | ||
| int | col_class_idx, | ||
| int | kij, | ||
| int *& | incidences, | ||
| int | verbose_level | ||
| ) |
Definition at line 1741 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_incidences_by_row_scheme | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int | row_class_idx, | ||
| int | col_class_idx, | ||
| int | rij, | ||
| int *& | incidences, | ||
| int | verbose_level | ||
| ) |
Definition at line 1689 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::get_lines_on_point | ( | int * | data, |
| int | i, | ||
| int | verbose_level | ||
| ) |
Definition at line 561 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::get_nb_inc | ( | ) |
Definition at line 671 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_partition | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_idx, | ||
| int & | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_idx, | ||
| int & | nb_col_classes | ||
| ) |
Definition at line 1009 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::get_points_on_line | ( | int * | data, |
| int | j, | ||
| int | verbose_level | ||
| ) |
Definition at line 614 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_row_decomposition_scheme | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int * | row_scheme, | ||
| int | verbose_level | ||
| ) |
Definition at line 1793 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_row_decomposition_scheme_if_possible | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int * | row_scheme, | ||
| int | verbose_level | ||
| ) |
Definition at line 1855 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::get_scheme | ( | int *& | row_classes, |
| int *& | row_class_inv, | ||
| int & | nb_row_classes, | ||
| int *& | col_classes, | ||
| int *& | col_class_inv, | ||
| int & | nb_col_classes, | ||
| int *& | scheme, | ||
| int | f_row_scheme, | ||
| data_structures::partitionstack & | PStack | ||
| ) |
Definition at line 2272 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_incidences | ( | int | m, |
| int | n, | ||
| int | nb_inc, | ||
| int * | X, | ||
| int | verbose_level | ||
| ) |
Definition at line 273 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_matrix | ( | int | m, |
| int | n, | ||
| int * | M, | ||
| int | verbose_level | ||
| ) |
Definition at line 341 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_matrix2 | ( | int | verbose_level | ) |
Definition at line 398 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_matrix_as_bitmatrix | ( | int | m, |
| int | n, | ||
| data_structures::bitmatrix * | Bitmatrix, | ||
| int | verbose_level | ||
| ) |
Definition at line 367 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_R_and_X | ( | int | m, |
| int | n, | ||
| int * | R, | ||
| int * | X, | ||
| int | max_r, | ||
| int | verbose_level | ||
| ) |
Definition at line 291 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_by_set_of_sets | ( | data_structures::set_of_sets * | SoS, |
| int | verbose_level | ||
| ) |
Definition at line 315 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_hjelmslev | ( | hjelmslev * | H, |
| int | verbose_level | ||
| ) |
Definition at line 147 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_large_set | ( | long int * | blocks, |
| int | N_points, | ||
| int | design_b, | ||
| int | design_k, | ||
| int | partition_class_size, | ||
| int *& | partition, | ||
| int | verbose_level | ||
| ) |
Definition at line 3947 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_orthogonal | ( | orthogonal * | O, |
| int | verbose_level | ||
| ) |
Definition at line 242 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_partitionstack | ( | data_structures::partitionstack * | S, |
| int | f_row_part, | ||
| int | nb_row_parts, | ||
| int * | row_parts, | ||
| int | f_col_part, | ||
| int | nb_col_parts, | ||
| int * | col_parts, | ||
| int | nb_distinguished_point_sets, | ||
| int ** | distinguished_point_sets, | ||
| int * | distinguished_point_set_size, | ||
| int | nb_distinguished_line_sets, | ||
| int ** | distinguished_line_sets, | ||
| int * | distinguished_line_set_size, | ||
| int | verbose_level | ||
| ) |
Definition at line 3309 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_partitionstack_trivial | ( | data_structures::partitionstack * | S, |
| int | verbose_level | ||
| ) |
Definition at line 3288 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::init_projective_space | ( | projective_space * | P, |
| int | verbose_level | ||
| ) |
Definition at line 111 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::latex_it | ( | std::ostream & | ost, |
| data_structures::partitionstack & | P | ||
| ) |
Definition at line 2673 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::line_intersection_graph | ( | int * | Adj, |
| int | verbose_level | ||
| ) |
Definition at line 2637 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::lines_through_two_points | ( | int * | lines, |
| int | p1, | ||
| int | p2, | ||
| int | verbose_level | ||
| ) |
Definition at line 92 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::nb_lines | ( | ) |
Definition at line 515 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::nb_points | ( | ) |
Definition at line 510 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::null | ( | ) |
Definition at line 41 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::point_collinearity_graph | ( | int * | Adj, |
| int | verbose_level | ||
| ) |
Definition at line 2601 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print | ( | std::ostream & | ost | ) |
Definition at line 735 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_aut_generators | ( | int | Aut_counter, |
| int * | Aut, | ||
| int | Base_length, | ||
| int * | Base, | ||
| int * | Transversal_length | ||
| ) |
Definition at line 3484 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_col_tactical_decomposition_scheme_incidences_tex | ( | data_structures::partitionstack & | PStack, |
| std::ostream & | ost, | ||
| int | f_enter_math_mode, | ||
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int | f_local_coordinates, | ||
| int | verbose_level | ||
| ) |
Definition at line 1584 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_column_labels | ( | std::ostream & | ost, |
| data_structures::partitionstack & | P, | ||
| int * | col_classes, | ||
| int | nb_col_classes, | ||
| int | width | ||
| ) |
Definition at line 2491 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_hline | ( | std::ostream & | ost, |
| data_structures::partitionstack & | P, | ||
| int * | col_classes, | ||
| int | nb_col_classes, | ||
| int | width, | ||
| int | f_labeled | ||
| ) |
Definition at line 2518 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_line | ( | std::ostream & | ost, |
| data_structures::partitionstack & | P, | ||
| int | row_cell, | ||
| int | i, | ||
| int * | col_classes, | ||
| int | nb_col_classes, | ||
| int | width, | ||
| int | f_labeled | ||
| ) |
Definition at line 2442 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_non_tactical_decomposition_scheme_tex | ( | std::ostream & | ost, |
| int | f_enter_math, | ||
| data_structures::partitionstack & | PStack | ||
| ) |
Definition at line 2405 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_partitioned | ( | std::ostream & | ost, |
| data_structures::partitionstack & | P, | ||
| int | f_labeled | ||
| ) |
Definition at line 2553 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::print_row_tactical_decomposition_scheme_incidences_tex | ( | data_structures::partitionstack & | PStack, |
| std::ostream & | ost, | ||
| int | f_enter_math_mode, | ||
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int | f_local_coordinates, | ||
| int | verbose_level | ||
| ) |
Definition at line 1480 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::rearrange | ( | int *& | Vi, |
| int & | nb_V, | ||
| int *& | Bj, | ||
| int & | nb_B, | ||
| int *& | R, | ||
| int *& | X, | ||
| data_structures::partitionstack & | P | ||
| ) |
Definition at line 2704 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::refine_column_partition | ( | data_structures::partitionstack & | PStack, |
| int | ht0, | ||
| int | verbose_level | ||
| ) |
Definition at line 1237 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::refine_column_partition_safe | ( | data_structures::partitionstack & | PStack, |
| int | verbose_level | ||
| ) |
Definition at line 1031 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::refine_row_partition | ( | data_structures::partitionstack & | PStack, |
| int | ht0, | ||
| int | verbose_level | ||
| ) |
Definition at line 1361 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::refine_row_partition_safe | ( | data_structures::partitionstack & | PStack, |
| int | verbose_level | ||
| ) |
Definition at line 1138 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::row_scheme_to_col_scheme | ( | data_structures::partitionstack & | PStack, |
| int * | row_classes, | ||
| int * | row_class_inv, | ||
| int | nb_row_classes, | ||
| int * | col_classes, | ||
| int * | col_class_inv, | ||
| int | nb_col_classes, | ||
| int * | row_scheme, | ||
| int * | col_scheme, | ||
| int | verbose_level | ||
| ) |
Definition at line 1989 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::save_as_csv | ( | std::string & | fname_csv, |
| int | verbose_level | ||
| ) |
Definition at line 3920 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::save_inc_file | ( | char * | fname | ) |
Definition at line 690 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::save_row_by_row_file | ( | char * | fname | ) |
Definition at line 709 of file incidence_structure.cpp.
| void orbiter::layer1_foundations::incidence_structure::shrink_aut_generators | ( | int | nb_distinguished_point_sets, |
| int | nb_distinguished_line_sets, | ||
| int | Aut_counter, | ||
| int * | Aut, | ||
| int * | Base, | ||
| int | Base_length, | ||
| int | verbose_level | ||
| ) |
Definition at line 3433 of file incidence_structure.cpp.
| int orbiter::layer1_foundations::incidence_structure::f_colsums_constant |
Definition at line 1141 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::f_rowsums_constant |
Definition at line 1140 of file geometry.h.
| hjelmslev* orbiter::layer1_foundations::incidence_structure::H |
Definition at line 1159 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::k |
Definition at line 1143 of file geometry.h.
| std::string orbiter::layer1_foundations::incidence_structure::label |
Definition at line 1133 of file geometry.h.
| int* orbiter::layer1_foundations::incidence_structure::lines_on_point |
Definition at line 1150 of file geometry.h.
| int* orbiter::layer1_foundations::incidence_structure::M |
Definition at line 1157 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::max_k |
Definition at line 1148 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::max_r |
Definition at line 1146 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::min_k |
Definition at line 1149 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::min_r |
Definition at line 1147 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::nb_cols |
Definition at line 1137 of file geometry.h.
| int* orbiter::layer1_foundations::incidence_structure::nb_lines_on_point |
Definition at line 1144 of file geometry.h.
| int* orbiter::layer1_foundations::incidence_structure::nb_points_on_line |
Definition at line 1145 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::nb_rows |
Definition at line 1136 of file geometry.h.
| orthogonal* orbiter::layer1_foundations::incidence_structure::O |
Definition at line 1158 of file geometry.h.
| projective_space* orbiter::layer1_foundations::incidence_structure::P |
Definition at line 1160 of file geometry.h.
| int* orbiter::layer1_foundations::incidence_structure::points_on_line |
Definition at line 1151 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::r |
Definition at line 1142 of file geometry.h.
| int orbiter::layer1_foundations::incidence_structure::realization_type |
Definition at line 1153 of file geometry.h.