Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
definitions
affine_plane.clif
beutel_nondeg_projective_space.clif
beutel_projective_plane.clif
beutel_projective_space.clif
biclosure.clif
bijection_bipartite.clif
bipartite_incidence.clif
bond_boundary.clif
bond_graphical.clif
boundary_collinear.clif
boundary_incidence.clif
boundary_intersect.clif
branchless.clif
branchless_boundary.clif
chordal_incidence.clif
collinear_exist.clif
collinear_points.clif
collinear_shadow.clif
complete_graphical.clif
cubic_bipartite.clif
cycle_path_incidence.clif
cyclic_boundary.clif
cyclic_graphical.clif
diamond_boundary.clif
distinct_lines.clif
distinct_shadow.clif
double_boundary.clif
double_collinear.clif
double_complete.clif
double_exist.clif
double_interior.clif
double_intersect.clif
double_line_intersect.clif
double_lines.clif
double_loop.clif
double_pendant_points.clif
double_point_intersect.clif
double_points.clif
firm_space.clif
gamma_space.clif
gen_polycyclic.clif
general_projective_plane.clif
graphical_incidence.clif
helly.clif
hilbert_incidence.clif
hilbert_parallel.clif
injection_bipartite.clif
interior_points.clif
interior_trivial.clif
intersect_exist.clif
intersecting_lines.clif
interval_incidence.clif
isolated_bipartite.clif
leafless.clif
line_branchless.clif
line_existence.clif
line_intersect.clif
linear_space.clif
loop_exist.clif
loop_graphical.clif
looped_branchless.clif
looped_leafless.clif
loopless.clif
loopless_boundary.clif
loopless_branchless.clif
mapping_bipartite.clif
multi_cyclic_boundary.clif
multi_cyclic_graphical.clif
multipolycyclic.clif
multipolycyclic_boundary.clif
near_linear.clif
no_pencil.clif
noncollinear_points.clif
nonisolated_graphical.clif
nonisolated_loopless.clif
nontrivial_lines.clif
parallel_existence.clif
parallel_lines.clif
parallel_points.clif
parallel_trivial.clif
partial_bipartite.clif
partial_linear.clif
path_graphical.clif
pendant_point_exist.clif
point_bipartite.clif
point_existence.clif
point_intersect.clif
point_leafless.clif
point_line.clif
polar_space.clif
polycyclic.clif
polycyclic_boundary.clif
projective_plane.clif
pseudo_complete.clif
quadrangle.clif
simple_branchless.clif
simple_cycle_path_incidence.clif
simple_cyclic.clif
simple_cyclic_boundary.clif
simple_graphical.clif
simple_leafless.clif
simple_path_graphical.clif
simple_polycyclic.clif
strict_double.clif
strict_graphical.clif
strict_twin.clif
strong_branchless.clif
strong_cycle_path_incidence.clif
strong_graphical.clif
strong_leafless.clif
strong_nontrivial_polycyclic.clif
strong_path_graphical.clif
strong_polycyclic.clif
symmetric_graphical.clif
thick_lines.clif
thick_points.clif
thin_interior.clif
triple_lines.clif
triple_points.clif
trivial_lines.clif
trivial_perfect_incidence.clif
twin_complete.clif
twin_lines.clif
twin_loop.clif
unique_boundary_incidence.clif
unique_intersect.clif
unique_isolated.clif
unique_line.clif
unique_line_intersect.clif
unique_parallel.clif
unique_point_intersect.clif
unique_triple_lines.clif
weak_bipartite.clif
weak_branchless.clif
weak_loopless.clif
weak_nontrivial_lines.clif
weak_point_intersect.clif
weak_simple_leafless.clif