Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
definitions
2connected_graph.clif
3edge-colouring.clif
boundary_partitioning.clif
bounded_dis2polytope.clif
branchless_plane.clif
bridgeless_gen_polytope.clif
bridgeless_graph.clif
bridgeless_polytope.clif
bridgeless_simplicial.clif
clique_intersect.clif
coext_lines.clif
complete_plane.clif
complete_subgraph.clif
conn_partitioning.clif
coplanar_collinear.clif
coplanar_double_collinear.clif
coplanar_intersect.clif
coplanar_intersect_exist.clif
coplanar_line_existence.clif
coplanar_point_intersect.clif
cover_subgraph.clif
cycle_cover_subgraph.clif
cycle_path_plane.clif
cycle_path_subgraph.clif
cycle_path_subgraph_nonisolated.clif
cycle_plane_subgraph.clif
cycle_shadow_subgraph.clif
cycle_subgraph.clif
cyclic_plane.clif
diamond_cover_subgraph.clif
diamond_planar.clif
diamond_plane_subgraph.clif
diamond_polycyclic.clif
diamond_shadow_subgraph.clif
diamond_subgraph.clif
diamond_tripartite.clif
dis2polytope.clif
disjoint_planes.clif
double_pendant.clif
double_plane.clif
double_point_intersect.clif
edge_colouring.clif
edge_plane_subgraph.clif
edge_subgraph_incidence.clif
extend_diamond_tripartite.clif
face_intersect.clif
flag_existence.clif
fused_cycles.clif
gen_subpolytope.clif
generalized_polytope.clif
graded_poset3.clif
graph_partitioning.clif
gromov.clif
hanging_line.clif
hilbert_plane.clif
induced_subgraph.clif
isolated_lines.clif
isolated_planes.clif
isolated_points.clif
isolated_trivial_line.clif
line_near_flag.clif
line_near_planar_flag.clif
line_plane_existence.clif
loop_planar_simple_graphical.clif
loop_planar_strict_graphical.clif
matching_bridgeless_graph.clif
matching_cyclic_plane.clif
matching_subgraph.clif
maximal_clique.clif
mirror_line.clif
mirror_plane.clif
multipolycyclic_plane.clif
neighbour_plane.clif
nocoext_plane.clif
nocoext_point_plane.clif
noncollinear_coplanar.clif
nonempty_point.clif
nonisolated.clif
nonisolated_line.clif
nonisolated_plane.clif
nonisolated_point.clif
nonmatching_planar_shadow.clif
nonmatching_plane_existence.clif
nontrivial_plane.clif
nontrivial_plane_existence.clif
nontrivial_point.clif
parallel_planes.clif
partial_flag.clif
partial_interior_point.clif
partial_line_near_flag.clif
partial_plane.clif
partial_plane_near_flag.clif
partial_point.clif
partial_point_line_existence.clif
partial_strong_line_near_flag.clif
partial_strong_near_flag.clif
partial_strong_plane_near_flag.clif
partial_tripartite.clif
partial_weak_line_plane_existence.clif
partial_weak_point_line_existence.clif
partition2polytope.clif
partitioning.clif
path_nonisolated_line.clif
path_nonisolated_plane.clif
path_nonisolated_point.clif
path_plane.clif
path_subgraph.clif
pendant_exist.clif
perfect_matching_subgraph.clif
planar_double_collinear.clif
planar_double_lines.clif
planar_endo.clif
planar_isolated.clif
planar_line_pair.clif
planar_parallel_lines.clif
planar_shadow.clif
planar_unique_line.clif
plane_containment.clif
plane_cover.clif
plane_dependence.clif
plane_existence.clif
plane_intersect.clif
plane_mutual_dependence.clif
plane_near_flag.clif
plane_near_linear_flag.clif
plane_point_existence.clif
plane_proper_dependence.clif
plane_subgraph.clif
point_cover.clif
point_line_existence.clif
point_near_linear_flag.clif
point_near_planar_flag.clif
point_plane_existence.clif
point_tripartite.clif
polycyclic_plane.clif
polycyclic_subgraph.clif
porcupine.clif
quasi_graded.clif
quasi_partitioning.clif
scatter_graph_partitioning.clif
shadow_cover_subgraph.clif
simple_branchless_plane.clif
simple_cycle_cover_subgraph.clif
simple_cycle_path_plane.clif
simple_cycle_path_subgraph.clif
simple_cycle_plane_subgraph.clif
simple_cycle_subgraph.clif
simple_cyclic_plane.clif
simple_dis2polytope.clif
simple_multipolycyclic_plane.clif
simple_path_plane.clif
simple_path_subgraph.clif
simple_polytope.clif
simple_subpolytope.clif
simple_triangle_cover_subgraph.clif
simple_triangle_plane.clif
simple_triangle_subgraph.clif
simplicial_2complex.clif
simplicial_subgraph.clif
strict_planar_simple_graphical.clif
strict_planar_strict_graphical.clif
strict_plane.clif
strict_subgraph.clif
strong_cycle_path_plane.clif
strong_cycle_path_subgraph.clif
strong_edge_subgraph.clif
strong_line_near_flag.clif
strong_line_near_planar_flag.clif
strong_near_flag.clif
strong_near_linear_flag.clif
strong_near_planar_flag.clif
strong_nonisolated.clif
strong_nonisolated_line.clif
strong_nonisolated_plane.clif
strong_nonisolated_point.clif
strong_path_plane.clif
strong_path_subgraph.clif
strong_planar_simple_graphical.clif
strong_planar_strict_graphical.clif
strong_plane_near_flag.clif
strong_plane_near_linear_flag.clif
strong_point_near_linear_flag.clif
strong_point_near_planar_flag.clif
subgraph_incidence.clif
subpair.clif
subplane.clif
subpolytope.clif
thick_planes.clif
thick_points.clif
transitive_subplane.clif
transitive_tripartite.clif
triangle_exist.clif
triangle_plane.clif
triangulated.clif
triclosure.clif
tripartite.clif
triple_planes.clif
trivial_plane_line.clif
twin_junction.clif
twin_planes.clif
unique_clique.clif
unique_cycle_path_subgraph.clif
unique_diamond.clif
unique_path_subgraph.clif
unique_plane.clif
unique_plane_collinear.clif
unique_plane_line.clif
unique_plane_point.clif
unique_point_plane.clif
unique_simple_cycle_path_subgraph.clif
unique_simple_path_subgraph.clif
vertex_partitioning.clif
vertex_subgraph_incidence.clif
weak_branchless_plane.clif
weak_coplanar_collinear.clif
weak_coplanar_intersect.clif
weak_cycle_cover_subgraph.clif
weak_cycle_path_subgraph.clif
weak_cycle_plane_subgraph.clif
weak_cycle_shadow_subgraph.clif
weak_cycle_subgraph.clif
weak_cyclic_plane.clif
weak_edge_colouring.clif
weak_extend_diamond_tripartite.clif
weak_face_intersect.clif
weak_flag_existence.clif
weak_induced_subgraph.clif
weak_line_flag.clif
weak_line_plane_existence.clif
weak_line_point_existence.clif
weak_nonisolated_line.clif
weak_nonisolated_plane.clif
weak_nonisolated_point.clif
weak_plane_cover_line.clif
weak_plane_cover_plane.clif
weak_plane_flag.clif
weak_plane_line_existence.clif
weak_plane_point_existence.clif
weak_plane_subgraph.clif
weak_point_cover_line.clif
weak_point_cover_point.clif
weak_point_flag.clif
weak_point_line_existence.clif
weak_point_plane_existence.clif
weak_polycyclic_subgraph.clif
weak_subgraph_incidence.clif
weak_subpair.clif
weak_transitive_plane.clif
weak_transitive_point.clif
weak_triangulated.clif
weak_tripartite.clif
whitney.clif
You can’t perform that action at this time.