Orbiter 2022
Combinatorial Objects
orbiter::layer1_foundations::incidence_structure Class Reference

interface for various incidence geometries More...

#include <geometry.h>

Collaboration diagram for orbiter::layer1_foundations::incidence_structure:

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::bitvectorencode_as_bitvector ()
 
incidence_structureapply_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
 
orthogonalO
 
hjelmslevH
 
projective_spaceP
 

Detailed Description

interface for various incidence geometries

Definition at line 1130 of file geometry.h.

Constructor & Destructor Documentation

◆ incidence_structure()

orbiter::layer1_foundations::incidence_structure::incidence_structure ( )

Definition at line 23 of file incidence_structure.cpp.

◆ ~incidence_structure()

orbiter::layer1_foundations::incidence_structure::~incidence_structure ( )

Definition at line 36 of file incidence_structure.cpp.

Member Function Documentation

◆ apply_canonical_labeling()

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.

◆ check_point_pairs()

void orbiter::layer1_foundations::incidence_structure::check_point_pairs ( int  verbose_level)

Definition at line 71 of file incidence_structure.cpp.

◆ compute_extended_collinearity_graph()

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.

◆ compute_extended_matrix()

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.

◆ compute_TDO()

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.

◆ compute_tdo()

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.

◆ compute_TDO_safe()

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.

◆ compute_TDO_safe_first()

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.

◆ compute_TDO_safe_next()

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.

◆ compute_TDO_step()

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.

◆ compute_tdo_stepwise()

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.

◆ decomposition_print_tex()

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.

◆ do_tdo_high_level()

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.

◆ encode_as_bitvector()

data_structures::bitvector * orbiter::layer1_foundations::incidence_structure::encode_as_bitvector ( )

Definition at line 3855 of file incidence_structure.cpp.

◆ free_scheme()

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.

◆ freeself()

void orbiter::layer1_foundations::incidence_structure::freeself ( )

Definition at line 45 of file incidence_structure.cpp.

◆ get_and_print_col_decomposition_scheme()

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.

◆ get_and_print_column_tactical_decomposition_scheme_tex()

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.

◆ get_and_print_decomposition_schemes()

void orbiter::layer1_foundations::incidence_structure::get_and_print_decomposition_schemes ( data_structures::partitionstack PStack)

Definition at line 2116 of file incidence_structure.cpp.

◆ get_and_print_decomposition_schemes_tex()

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.

◆ get_and_print_row_decomposition_scheme()

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.

◆ get_and_print_row_tactical_decomposition_scheme_tex()

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.

◆ get_and_print_tactical_decomposition_scheme_tex()

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.

◆ get_col_decomposition_scheme()

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.

◆ get_ij()

int orbiter::layer1_foundations::incidence_structure::get_ij ( int  i,
int  j 
)

Definition at line 520 of file incidence_structure.cpp.

◆ get_incidences_by_col_scheme()

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.

◆ get_incidences_by_row_scheme()

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.

◆ get_lines_on_point()

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.

◆ get_nb_inc()

int orbiter::layer1_foundations::incidence_structure::get_nb_inc ( )

Definition at line 671 of file incidence_structure.cpp.

◆ get_partition()

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.

◆ get_points_on_line()

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.

◆ get_row_decomposition_scheme()

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.

◆ get_row_decomposition_scheme_if_possible()

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.

◆ get_scheme()

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.

◆ init_by_incidences()

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.

◆ init_by_matrix()

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.

◆ init_by_matrix2()

void orbiter::layer1_foundations::incidence_structure::init_by_matrix2 ( int  verbose_level)

Definition at line 398 of file incidence_structure.cpp.

◆ init_by_matrix_as_bitmatrix()

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.

◆ init_by_R_and_X()

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.

◆ init_by_set_of_sets()

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.

◆ init_hjelmslev()

void orbiter::layer1_foundations::incidence_structure::init_hjelmslev ( hjelmslev H,
int  verbose_level 
)

Definition at line 147 of file incidence_structure.cpp.

◆ init_large_set()

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.

◆ init_orthogonal()

void orbiter::layer1_foundations::incidence_structure::init_orthogonal ( orthogonal O,
int  verbose_level 
)

Definition at line 242 of file incidence_structure.cpp.

◆ init_partitionstack()

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.

◆ init_partitionstack_trivial()

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.

◆ init_projective_space()

void orbiter::layer1_foundations::incidence_structure::init_projective_space ( projective_space P,
int  verbose_level 
)

Definition at line 111 of file incidence_structure.cpp.

◆ latex_it()

void orbiter::layer1_foundations::incidence_structure::latex_it ( std::ostream &  ost,
data_structures::partitionstack P 
)

Definition at line 2673 of file incidence_structure.cpp.

◆ line_intersection_graph()

void orbiter::layer1_foundations::incidence_structure::line_intersection_graph ( int *  Adj,
int  verbose_level 
)

Definition at line 2637 of file incidence_structure.cpp.

◆ lines_through_two_points()

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.

◆ nb_lines()

int orbiter::layer1_foundations::incidence_structure::nb_lines ( )

Definition at line 515 of file incidence_structure.cpp.

◆ nb_points()

int orbiter::layer1_foundations::incidence_structure::nb_points ( )

Definition at line 510 of file incidence_structure.cpp.

◆ null()

void orbiter::layer1_foundations::incidence_structure::null ( )

Definition at line 41 of file incidence_structure.cpp.

◆ point_collinearity_graph()

void orbiter::layer1_foundations::incidence_structure::point_collinearity_graph ( int *  Adj,
int  verbose_level 
)

Definition at line 2601 of file incidence_structure.cpp.

◆ print()

void orbiter::layer1_foundations::incidence_structure::print ( std::ostream &  ost)

Definition at line 735 of file incidence_structure.cpp.

◆ print_aut_generators()

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.

◆ print_col_tactical_decomposition_scheme_incidences_tex()

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.

◆ print_column_labels()

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.

◆ print_hline()

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.

◆ print_line()

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.

◆ print_non_tactical_decomposition_scheme_tex()

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.

◆ print_partitioned()

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.

◆ print_row_tactical_decomposition_scheme_incidences_tex()

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.

◆ rearrange()

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.

◆ refine_column_partition()

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.

◆ refine_column_partition_safe()

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.

◆ refine_row_partition()

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.

◆ refine_row_partition_safe()

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.

◆ row_scheme_to_col_scheme()

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.

◆ save_as_csv()

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.

◆ save_inc_file()

void orbiter::layer1_foundations::incidence_structure::save_inc_file ( char *  fname)

Definition at line 690 of file incidence_structure.cpp.

◆ save_row_by_row_file()

void orbiter::layer1_foundations::incidence_structure::save_row_by_row_file ( char *  fname)

Definition at line 709 of file incidence_structure.cpp.

◆ shrink_aut_generators()

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.

Member Data Documentation

◆ f_colsums_constant

int orbiter::layer1_foundations::incidence_structure::f_colsums_constant

Definition at line 1141 of file geometry.h.

◆ f_rowsums_constant

int orbiter::layer1_foundations::incidence_structure::f_rowsums_constant

Definition at line 1140 of file geometry.h.

◆ H

hjelmslev* orbiter::layer1_foundations::incidence_structure::H

Definition at line 1159 of file geometry.h.

◆ k

int orbiter::layer1_foundations::incidence_structure::k

Definition at line 1143 of file geometry.h.

◆ label

std::string orbiter::layer1_foundations::incidence_structure::label

Definition at line 1133 of file geometry.h.

◆ lines_on_point

int* orbiter::layer1_foundations::incidence_structure::lines_on_point

Definition at line 1150 of file geometry.h.

◆ M

int* orbiter::layer1_foundations::incidence_structure::M

Definition at line 1157 of file geometry.h.

◆ max_k

int orbiter::layer1_foundations::incidence_structure::max_k

Definition at line 1148 of file geometry.h.

◆ max_r

int orbiter::layer1_foundations::incidence_structure::max_r

Definition at line 1146 of file geometry.h.

◆ min_k

int orbiter::layer1_foundations::incidence_structure::min_k

Definition at line 1149 of file geometry.h.

◆ min_r

int orbiter::layer1_foundations::incidence_structure::min_r

Definition at line 1147 of file geometry.h.

◆ nb_cols

int orbiter::layer1_foundations::incidence_structure::nb_cols

Definition at line 1137 of file geometry.h.

◆ nb_lines_on_point

int* orbiter::layer1_foundations::incidence_structure::nb_lines_on_point

Definition at line 1144 of file geometry.h.

◆ nb_points_on_line

int* orbiter::layer1_foundations::incidence_structure::nb_points_on_line

Definition at line 1145 of file geometry.h.

◆ nb_rows

int orbiter::layer1_foundations::incidence_structure::nb_rows

Definition at line 1136 of file geometry.h.

◆ O

orthogonal* orbiter::layer1_foundations::incidence_structure::O

Definition at line 1158 of file geometry.h.

◆ P

projective_space* orbiter::layer1_foundations::incidence_structure::P

Definition at line 1160 of file geometry.h.

◆ points_on_line

int* orbiter::layer1_foundations::incidence_structure::points_on_line

Definition at line 1151 of file geometry.h.

◆ r

int orbiter::layer1_foundations::incidence_structure::r

Definition at line 1142 of file geometry.h.

◆ realization_type

int orbiter::layer1_foundations::incidence_structure::realization_type

Definition at line 1153 of file geometry.h.


The documentation for this class was generated from the following files: