5. Library Reference

• 5.1. aut
  • 5.1.1. implicit_size_2.hpp
  • 5.1.2. perm_moved_points.hpp
  • 5.1.3. pruner_base.hpp
  • 5.1.4. pruner_basic.hpp
  • 5.1.5. pruner_schreier.hpp
• 5.2. canonicalization.hpp
• 5.3. compare.hpp
• 5.4. dimacs_graph_io.hpp
• 5.5. edge_handler
  • 5.5.1. all_equal.hpp
  • 5.5.2. edge_handler.hpp
• 5.6. invariant
  • 5.6.1. cell_split.hpp
  • 5.6.2. coordinator.hpp
  • 5.6.3. partial_leaf.hpp
  • 5.6.4. quotient.hpp
• 5.7. ordered_graph.hpp
• 5.8. refine
  • 5.8.1. degree_1.hpp
  • 5.8.2. refine.hpp
  • 5.8.3. WL_1.hpp
• 5.9. shorthands.hpp
• 5.10. sorting_utils.hpp
• 5.11. tagged_list.hpp
• 5.12. target_cell
  • 5.12.1. f.hpp
  • 5.12.2. fl.hpp
  • 5.12.3. flm.hpp
  • 5.12.4. flmcr.hpp
• 5.13. tree_traversal
  • 5.13.1. bfs-exp.hpp
  • 5.13.2. bfs-exp-m.hpp
  • 5.13.3. dfs.hpp
• 5.14. util.hpp
• 5.15. visitor
  • 5.15.1. compound.hpp
  • 5.15.2. debug.hpp
  • 5.15.3. stats.hpp
  • 5.15.4. visitor.hpp