├── .gitignore ├── .ocp-indent ├── CHANGES.md ├── COPYING ├── CREDITS ├── FAQ ├── INSTALL.md ├── LICENSE ├── Makefile ├── README.md ├── TODO.md ├── dgraph ├── dGraphContainer.ml ├── dGraphContainer.mli ├── dGraphMake.ml ├── dGraphView.ml ├── dGraphView.mli ├── dGraphViewItem.ml ├── dGraphViewItem.mli ├── dGraphViewer.ml ├── doc │ └── style.css ├── dune ├── examples │ ├── awilliams.gv │ ├── clusters.dot │ ├── clusters.svg │ ├── clusters_with_edges.dot │ ├── crazy.dot │ ├── crazy2.dot │ ├── dep.dot │ ├── dfa.gv │ ├── fancy.dot │ ├── fsm.dot │ ├── gzip.dot │ ├── gzip_annot.dot │ ├── jsort.dot │ ├── pmpipe.gv │ ├── polygonal.dot │ ├── polypoly.gv │ ├── services.dot │ ├── siblings.dot │ ├── switch.gv │ ├── unix2.gv │ └── viewfile.gv ├── headers │ ├── CEA_LGPL │ ├── headache_config.txt │ └── headers.sh ├── pangoMeasure.ml └── pangoMeasure.mli ├── dune-project ├── editor ├── dirTree.ml ├── dirTree.mli ├── dune ├── ed_display.ml ├── ed_draw.ml ├── ed_graph.ml ├── ed_hyper.ml ├── ed_icon.xpm ├── ed_main.ml ├── editor.ml ├── graphEd.ml ├── graphEdGTK.ml ├── gtree.ml ├── gtree.mli ├── htree.ml ├── htree.mli ├── outils_math.ml ├── outils_tort.ml └── tests │ ├── de_bruijn4.gml │ ├── dep_ed.dot │ ├── dep_why.dot │ ├── divisors12.gml │ ├── fsm.dot │ ├── full10.gml │ ├── full20.gml │ ├── full30.gml │ ├── full50.gml │ ├── parcours.dot │ ├── rand_100_10.gml │ ├── rand_100_300.gml │ ├── rand_10_10.gml │ ├── rand_10_40.gml │ ├── rand_50_300.gml │ ├── ring_100.gml │ ├── softmaint.dot │ ├── test.gml │ ├── test2,1_2.gml │ ├── test2,1_3.gml │ ├── test2,1_3tot.gml │ ├── test2_2.gml │ ├── transparency.dot │ ├── twopi2.dot │ ├── unix.dot │ └── world.dot ├── examples ├── color.ml ├── compare_prim_kruskal.ml ├── demo.ml ├── demo_planar.ml ├── demo_prim.ml ├── depend2dot.ml ├── dune ├── sudoku.ml └── words.ml ├── ocamlgraph.opam ├── ocamlgraph_gtk.opam ├── shell.nix ├── src ├── blocks.ml ├── builder.ml ├── builder.mli ├── chaoticIteration.ml ├── chaoticIteration.mli ├── classic.ml ├── classic.mli ├── clique.ml ├── clique.mli ├── cliquetree.ml ├── cliquetree.mli ├── coloring.ml ├── coloring.mli ├── components.ml ├── components.mli ├── contraction.ml ├── contraction.mli ├── cycles.ml ├── cycles.mli ├── dGraphModel.ml ├── dGraphModel.mli ├── dGraphRandModel.ml ├── dGraphRandModel.mli ├── dGraphSubTree.ml ├── dGraphSubTree.mli ├── dGraphTreeLayout.ml ├── dGraphTreeLayout.mli ├── dGraphTreeModel.ml ├── dGraphTreeModel.mli ├── delaunay.ml ├── delaunay.mli ├── dominator.ml ├── dominator.mli ├── dot.ml ├── dot.mli ├── dot_ast.mli ├── dot_lexer.mll ├── dot_parser.mly ├── dune ├── eulerian.ml ├── eulerian.mli ├── fixpoint.ml ├── fixpoint.mli ├── flow.ml ├── flow.mli ├── gmap.ml ├── gmap.mli ├── gml.mli ├── gml.mll ├── graph.ml ├── graphml.ml ├── graphml.mli ├── graphviz.ml ├── graphviz.mli ├── imperative.ml ├── imperative.mli ├── kruskal.ml ├── kruskal.mli ├── leaderlist.ml ├── leaderlist.mli ├── lib │ ├── bitv.ml │ ├── bitv.mli │ ├── deque.ml │ ├── deque.mli │ ├── heap.ml │ ├── heap.mli │ ├── persistentQueue.ml │ ├── persistentQueue.mli │ ├── unionfind.ml │ └── unionfind.mli ├── mcs_m.ml ├── mcs_m.mli ├── md.ml ├── md.mli ├── merge.ml ├── merge.mli ├── mincut.ml ├── mincut.mli ├── minsep.ml ├── minsep.mli ├── nonnegative.ml ├── nonnegative.mli ├── oper.ml ├── oper.mli ├── pack.ml ├── pack.mli ├── path.ml ├── path.mli ├── persistent.ml ├── persistent.mli ├── prim.ml ├── prim.mli ├── rand.ml ├── rand.mli ├── sig.mli ├── sig_pack.mli ├── strat.ml ├── strat.mli ├── topological.ml ├── topological.mli ├── traverse.ml ├── traverse.mli ├── util.ml ├── util.mli ├── weakTopological.ml ├── weakTopological.mli ├── xDot.ml ├── xDot.mli ├── xDotDraw.ml └── xDotDraw.mli ├── tests ├── basic.expected ├── basic.ml ├── bench.ml ├── check.ml ├── dot.dot ├── dot.expected ├── dot.ml ├── dune ├── nonneg.ml ├── strat.expected ├── strat.ml ├── test_149.ml ├── test_31.ml ├── test_bf.expected ├── test_bf.ml ├── test_bfs.ml ├── test_bfs01.ml ├── test_chaotic.expected ├── test_chaotic.ml ├── test_check_path.ml ├── test_classic.ml ├── test_components.expected ├── test_components.ml ├── test_contraction.expected ├── test_contraction.ml ├── test_cycles.expected ├── test_cycles.ml ├── test_dfs.ml ├── test_eulerian.ml ├── test_fixpoint.expected ├── test_fixpoint.ml ├── test_johnson.expected ├── test_johnson.ml ├── test_map_vertex.ml ├── test_nontrivial_dom.expected ├── test_nontrivial_dom.ml ├── test_saps.expected ├── test_saps.ml ├── test_topsort.ml ├── test_wto.expected ├── test_wto.ml └── testgraphml.ml └── view_graph ├── README ├── doc ├── intro.txt └── style.css ├── dune ├── viewGraph.ml ├── viewGraph_core.ml ├── viewGraph_core.mli ├── viewGraph_select.ml ├── viewGraph_select.mli ├── viewGraph_test.ml ├── viewGraph_utils.ml └── viewGraph_utils.mli /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocp-indent: -------------------------------------------------------------------------------- 1 | normal 2 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/CHANGES.md -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/COPYING -------------------------------------------------------------------------------- /CREDITS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/CREDITS -------------------------------------------------------------------------------- /FAQ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/FAQ -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/TODO.md -------------------------------------------------------------------------------- /dgraph/dGraphContainer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphContainer.ml -------------------------------------------------------------------------------- /dgraph/dGraphContainer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphContainer.mli -------------------------------------------------------------------------------- /dgraph/dGraphMake.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphMake.ml -------------------------------------------------------------------------------- /dgraph/dGraphView.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphView.ml -------------------------------------------------------------------------------- /dgraph/dGraphView.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphView.mli -------------------------------------------------------------------------------- /dgraph/dGraphViewItem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphViewItem.ml -------------------------------------------------------------------------------- /dgraph/dGraphViewItem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphViewItem.mli -------------------------------------------------------------------------------- /dgraph/dGraphViewer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dGraphViewer.ml -------------------------------------------------------------------------------- /dgraph/doc/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/doc/style.css -------------------------------------------------------------------------------- /dgraph/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/dune -------------------------------------------------------------------------------- /dgraph/examples/awilliams.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/awilliams.gv -------------------------------------------------------------------------------- /dgraph/examples/clusters.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/clusters.dot -------------------------------------------------------------------------------- /dgraph/examples/clusters.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/clusters.svg -------------------------------------------------------------------------------- /dgraph/examples/clusters_with_edges.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/clusters_with_edges.dot -------------------------------------------------------------------------------- /dgraph/examples/crazy.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/crazy.dot -------------------------------------------------------------------------------- /dgraph/examples/crazy2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/crazy2.dot -------------------------------------------------------------------------------- /dgraph/examples/dep.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/dep.dot -------------------------------------------------------------------------------- /dgraph/examples/dfa.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/dfa.gv -------------------------------------------------------------------------------- /dgraph/examples/fancy.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/fancy.dot -------------------------------------------------------------------------------- /dgraph/examples/fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/fsm.dot -------------------------------------------------------------------------------- /dgraph/examples/gzip.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/gzip.dot -------------------------------------------------------------------------------- /dgraph/examples/gzip_annot.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/gzip_annot.dot -------------------------------------------------------------------------------- /dgraph/examples/jsort.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/jsort.dot -------------------------------------------------------------------------------- /dgraph/examples/pmpipe.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/pmpipe.gv -------------------------------------------------------------------------------- /dgraph/examples/polygonal.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/polygonal.dot -------------------------------------------------------------------------------- /dgraph/examples/polypoly.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/polypoly.gv -------------------------------------------------------------------------------- /dgraph/examples/services.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/services.dot -------------------------------------------------------------------------------- /dgraph/examples/siblings.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/siblings.dot -------------------------------------------------------------------------------- /dgraph/examples/switch.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/switch.gv -------------------------------------------------------------------------------- /dgraph/examples/unix2.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/unix2.gv -------------------------------------------------------------------------------- /dgraph/examples/viewfile.gv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/examples/viewfile.gv -------------------------------------------------------------------------------- /dgraph/headers/CEA_LGPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/headers/CEA_LGPL -------------------------------------------------------------------------------- /dgraph/headers/headache_config.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/headers/headache_config.txt -------------------------------------------------------------------------------- /dgraph/headers/headers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/headers/headers.sh -------------------------------------------------------------------------------- /dgraph/pangoMeasure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/pangoMeasure.ml -------------------------------------------------------------------------------- /dgraph/pangoMeasure.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dgraph/pangoMeasure.mli -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/dune-project -------------------------------------------------------------------------------- /editor/dirTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/dirTree.ml -------------------------------------------------------------------------------- /editor/dirTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/dirTree.mli -------------------------------------------------------------------------------- /editor/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/dune -------------------------------------------------------------------------------- /editor/ed_display.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_display.ml -------------------------------------------------------------------------------- /editor/ed_draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_draw.ml -------------------------------------------------------------------------------- /editor/ed_graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_graph.ml -------------------------------------------------------------------------------- /editor/ed_hyper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_hyper.ml -------------------------------------------------------------------------------- /editor/ed_icon.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_icon.xpm -------------------------------------------------------------------------------- /editor/ed_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/ed_main.ml -------------------------------------------------------------------------------- /editor/editor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/editor.ml -------------------------------------------------------------------------------- /editor/graphEd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/graphEd.ml -------------------------------------------------------------------------------- /editor/graphEdGTK.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/graphEdGTK.ml -------------------------------------------------------------------------------- /editor/gtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/gtree.ml -------------------------------------------------------------------------------- /editor/gtree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/gtree.mli -------------------------------------------------------------------------------- /editor/htree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/htree.ml -------------------------------------------------------------------------------- /editor/htree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/htree.mli -------------------------------------------------------------------------------- /editor/outils_math.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/outils_math.ml -------------------------------------------------------------------------------- /editor/outils_tort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/outils_tort.ml -------------------------------------------------------------------------------- /editor/tests/de_bruijn4.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/de_bruijn4.gml -------------------------------------------------------------------------------- /editor/tests/dep_ed.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/dep_ed.dot -------------------------------------------------------------------------------- /editor/tests/dep_why.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/dep_why.dot -------------------------------------------------------------------------------- /editor/tests/divisors12.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/divisors12.gml -------------------------------------------------------------------------------- /editor/tests/fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/fsm.dot -------------------------------------------------------------------------------- /editor/tests/full10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/full10.gml -------------------------------------------------------------------------------- /editor/tests/full20.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/full20.gml -------------------------------------------------------------------------------- /editor/tests/full30.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/full30.gml -------------------------------------------------------------------------------- /editor/tests/full50.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/full50.gml -------------------------------------------------------------------------------- /editor/tests/parcours.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/parcours.dot -------------------------------------------------------------------------------- /editor/tests/rand_100_10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/rand_100_10.gml -------------------------------------------------------------------------------- /editor/tests/rand_100_300.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/rand_100_300.gml -------------------------------------------------------------------------------- /editor/tests/rand_10_10.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/rand_10_10.gml -------------------------------------------------------------------------------- /editor/tests/rand_10_40.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/rand_10_40.gml -------------------------------------------------------------------------------- /editor/tests/rand_50_300.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/rand_50_300.gml -------------------------------------------------------------------------------- /editor/tests/ring_100.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/ring_100.gml -------------------------------------------------------------------------------- /editor/tests/softmaint.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/softmaint.dot -------------------------------------------------------------------------------- /editor/tests/test.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/test.gml -------------------------------------------------------------------------------- /editor/tests/test2,1_2.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/test2,1_2.gml -------------------------------------------------------------------------------- /editor/tests/test2,1_3.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/test2,1_3.gml -------------------------------------------------------------------------------- /editor/tests/test2,1_3tot.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/test2,1_3tot.gml -------------------------------------------------------------------------------- /editor/tests/test2_2.gml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/test2_2.gml -------------------------------------------------------------------------------- /editor/tests/transparency.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/transparency.dot -------------------------------------------------------------------------------- /editor/tests/twopi2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/twopi2.dot -------------------------------------------------------------------------------- /editor/tests/unix.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/unix.dot -------------------------------------------------------------------------------- /editor/tests/world.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/editor/tests/world.dot -------------------------------------------------------------------------------- /examples/color.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/color.ml -------------------------------------------------------------------------------- /examples/compare_prim_kruskal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/compare_prim_kruskal.ml -------------------------------------------------------------------------------- /examples/demo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/demo.ml -------------------------------------------------------------------------------- /examples/demo_planar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/demo_planar.ml -------------------------------------------------------------------------------- /examples/demo_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/demo_prim.ml -------------------------------------------------------------------------------- /examples/depend2dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/depend2dot.ml -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/dune -------------------------------------------------------------------------------- /examples/sudoku.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/sudoku.ml -------------------------------------------------------------------------------- /examples/words.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/examples/words.ml -------------------------------------------------------------------------------- /ocamlgraph.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/ocamlgraph.opam -------------------------------------------------------------------------------- /ocamlgraph_gtk.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/ocamlgraph_gtk.opam -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/shell.nix -------------------------------------------------------------------------------- /src/blocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/blocks.ml -------------------------------------------------------------------------------- /src/builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/builder.ml -------------------------------------------------------------------------------- /src/builder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/builder.mli -------------------------------------------------------------------------------- /src/chaoticIteration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/chaoticIteration.ml -------------------------------------------------------------------------------- /src/chaoticIteration.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/chaoticIteration.mli -------------------------------------------------------------------------------- /src/classic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/classic.ml -------------------------------------------------------------------------------- /src/classic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/classic.mli -------------------------------------------------------------------------------- /src/clique.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/clique.ml -------------------------------------------------------------------------------- /src/clique.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/clique.mli -------------------------------------------------------------------------------- /src/cliquetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/cliquetree.ml -------------------------------------------------------------------------------- /src/cliquetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/cliquetree.mli -------------------------------------------------------------------------------- /src/coloring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/coloring.ml -------------------------------------------------------------------------------- /src/coloring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/coloring.mli -------------------------------------------------------------------------------- /src/components.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/components.ml -------------------------------------------------------------------------------- /src/components.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/components.mli -------------------------------------------------------------------------------- /src/contraction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/contraction.ml -------------------------------------------------------------------------------- /src/contraction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/contraction.mli -------------------------------------------------------------------------------- /src/cycles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/cycles.ml -------------------------------------------------------------------------------- /src/cycles.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/cycles.mli -------------------------------------------------------------------------------- /src/dGraphModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphModel.ml -------------------------------------------------------------------------------- /src/dGraphModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphModel.mli -------------------------------------------------------------------------------- /src/dGraphRandModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphRandModel.ml -------------------------------------------------------------------------------- /src/dGraphRandModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphRandModel.mli -------------------------------------------------------------------------------- /src/dGraphSubTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphSubTree.ml -------------------------------------------------------------------------------- /src/dGraphSubTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphSubTree.mli -------------------------------------------------------------------------------- /src/dGraphTreeLayout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphTreeLayout.ml -------------------------------------------------------------------------------- /src/dGraphTreeLayout.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphTreeLayout.mli -------------------------------------------------------------------------------- /src/dGraphTreeModel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphTreeModel.ml -------------------------------------------------------------------------------- /src/dGraphTreeModel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dGraphTreeModel.mli -------------------------------------------------------------------------------- /src/delaunay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/delaunay.ml -------------------------------------------------------------------------------- /src/delaunay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/delaunay.mli -------------------------------------------------------------------------------- /src/dominator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dominator.ml -------------------------------------------------------------------------------- /src/dominator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dominator.mli -------------------------------------------------------------------------------- /src/dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dot.ml -------------------------------------------------------------------------------- /src/dot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dot.mli -------------------------------------------------------------------------------- /src/dot_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dot_ast.mli -------------------------------------------------------------------------------- /src/dot_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dot_lexer.mll -------------------------------------------------------------------------------- /src/dot_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dot_parser.mly -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/dune -------------------------------------------------------------------------------- /src/eulerian.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/eulerian.ml -------------------------------------------------------------------------------- /src/eulerian.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/eulerian.mli -------------------------------------------------------------------------------- /src/fixpoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/fixpoint.ml -------------------------------------------------------------------------------- /src/fixpoint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/fixpoint.mli -------------------------------------------------------------------------------- /src/flow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/flow.ml -------------------------------------------------------------------------------- /src/flow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/flow.mli -------------------------------------------------------------------------------- /src/gmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/gmap.ml -------------------------------------------------------------------------------- /src/gmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/gmap.mli -------------------------------------------------------------------------------- /src/gml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/gml.mli -------------------------------------------------------------------------------- /src/gml.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/gml.mll -------------------------------------------------------------------------------- /src/graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/graph.ml -------------------------------------------------------------------------------- /src/graphml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/graphml.ml -------------------------------------------------------------------------------- /src/graphml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/graphml.mli -------------------------------------------------------------------------------- /src/graphviz.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/graphviz.ml -------------------------------------------------------------------------------- /src/graphviz.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/graphviz.mli -------------------------------------------------------------------------------- /src/imperative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/imperative.ml -------------------------------------------------------------------------------- /src/imperative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/imperative.mli -------------------------------------------------------------------------------- /src/kruskal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/kruskal.ml -------------------------------------------------------------------------------- /src/kruskal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/kruskal.mli -------------------------------------------------------------------------------- /src/leaderlist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/leaderlist.ml -------------------------------------------------------------------------------- /src/leaderlist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/leaderlist.mli -------------------------------------------------------------------------------- /src/lib/bitv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/bitv.ml -------------------------------------------------------------------------------- /src/lib/bitv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/bitv.mli -------------------------------------------------------------------------------- /src/lib/deque.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/deque.ml -------------------------------------------------------------------------------- /src/lib/deque.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/deque.mli -------------------------------------------------------------------------------- /src/lib/heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/heap.ml -------------------------------------------------------------------------------- /src/lib/heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/heap.mli -------------------------------------------------------------------------------- /src/lib/persistentQueue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/persistentQueue.ml -------------------------------------------------------------------------------- /src/lib/persistentQueue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/persistentQueue.mli -------------------------------------------------------------------------------- /src/lib/unionfind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/unionfind.ml -------------------------------------------------------------------------------- /src/lib/unionfind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/lib/unionfind.mli -------------------------------------------------------------------------------- /src/mcs_m.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/mcs_m.ml -------------------------------------------------------------------------------- /src/mcs_m.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/mcs_m.mli -------------------------------------------------------------------------------- /src/md.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/md.ml -------------------------------------------------------------------------------- /src/md.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/md.mli -------------------------------------------------------------------------------- /src/merge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/merge.ml -------------------------------------------------------------------------------- /src/merge.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/merge.mli -------------------------------------------------------------------------------- /src/mincut.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/mincut.ml -------------------------------------------------------------------------------- /src/mincut.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/mincut.mli -------------------------------------------------------------------------------- /src/minsep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/minsep.ml -------------------------------------------------------------------------------- /src/minsep.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/minsep.mli -------------------------------------------------------------------------------- /src/nonnegative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/nonnegative.ml -------------------------------------------------------------------------------- /src/nonnegative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/nonnegative.mli -------------------------------------------------------------------------------- /src/oper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/oper.ml -------------------------------------------------------------------------------- /src/oper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/oper.mli -------------------------------------------------------------------------------- /src/pack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/pack.ml -------------------------------------------------------------------------------- /src/pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/pack.mli -------------------------------------------------------------------------------- /src/path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/path.ml -------------------------------------------------------------------------------- /src/path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/path.mli -------------------------------------------------------------------------------- /src/persistent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/persistent.ml -------------------------------------------------------------------------------- /src/persistent.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/persistent.mli -------------------------------------------------------------------------------- /src/prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/prim.ml -------------------------------------------------------------------------------- /src/prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/prim.mli -------------------------------------------------------------------------------- /src/rand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/rand.ml -------------------------------------------------------------------------------- /src/rand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/rand.mli -------------------------------------------------------------------------------- /src/sig.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/sig.mli -------------------------------------------------------------------------------- /src/sig_pack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/sig_pack.mli -------------------------------------------------------------------------------- /src/strat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/strat.ml -------------------------------------------------------------------------------- /src/strat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/strat.mli -------------------------------------------------------------------------------- /src/topological.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/topological.ml -------------------------------------------------------------------------------- /src/topological.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/topological.mli -------------------------------------------------------------------------------- /src/traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/traverse.ml -------------------------------------------------------------------------------- /src/traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/traverse.mli -------------------------------------------------------------------------------- /src/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/util.ml -------------------------------------------------------------------------------- /src/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/util.mli -------------------------------------------------------------------------------- /src/weakTopological.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/weakTopological.ml -------------------------------------------------------------------------------- /src/weakTopological.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/weakTopological.mli -------------------------------------------------------------------------------- /src/xDot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/xDot.ml -------------------------------------------------------------------------------- /src/xDot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/xDot.mli -------------------------------------------------------------------------------- /src/xDotDraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/xDotDraw.ml -------------------------------------------------------------------------------- /src/xDotDraw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/src/xDotDraw.mli -------------------------------------------------------------------------------- /tests/basic.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/basic.expected -------------------------------------------------------------------------------- /tests/basic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/basic.ml -------------------------------------------------------------------------------- /tests/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/bench.ml -------------------------------------------------------------------------------- /tests/check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/check.ml -------------------------------------------------------------------------------- /tests/dot.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/dot.dot -------------------------------------------------------------------------------- /tests/dot.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/dot.expected -------------------------------------------------------------------------------- /tests/dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/dot.ml -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/nonneg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/nonneg.ml -------------------------------------------------------------------------------- /tests/strat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/strat.expected -------------------------------------------------------------------------------- /tests/strat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/strat.ml -------------------------------------------------------------------------------- /tests/test_149.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_149.ml -------------------------------------------------------------------------------- /tests/test_31.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_31.ml -------------------------------------------------------------------------------- /tests/test_bf.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_bf.expected -------------------------------------------------------------------------------- /tests/test_bf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_bf.ml -------------------------------------------------------------------------------- /tests/test_bfs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_bfs.ml -------------------------------------------------------------------------------- /tests/test_bfs01.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_bfs01.ml -------------------------------------------------------------------------------- /tests/test_chaotic.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_chaotic.expected -------------------------------------------------------------------------------- /tests/test_chaotic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_chaotic.ml -------------------------------------------------------------------------------- /tests/test_check_path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_check_path.ml -------------------------------------------------------------------------------- /tests/test_classic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_classic.ml -------------------------------------------------------------------------------- /tests/test_components.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_components.expected -------------------------------------------------------------------------------- /tests/test_components.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_components.ml -------------------------------------------------------------------------------- /tests/test_contraction.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_contraction.expected -------------------------------------------------------------------------------- /tests/test_contraction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_contraction.ml -------------------------------------------------------------------------------- /tests/test_cycles.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_cycles.expected -------------------------------------------------------------------------------- /tests/test_cycles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_cycles.ml -------------------------------------------------------------------------------- /tests/test_dfs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_dfs.ml -------------------------------------------------------------------------------- /tests/test_eulerian.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_eulerian.ml -------------------------------------------------------------------------------- /tests/test_fixpoint.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_fixpoint.expected -------------------------------------------------------------------------------- /tests/test_fixpoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_fixpoint.ml -------------------------------------------------------------------------------- /tests/test_johnson.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_johnson.expected -------------------------------------------------------------------------------- /tests/test_johnson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_johnson.ml -------------------------------------------------------------------------------- /tests/test_map_vertex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_map_vertex.ml -------------------------------------------------------------------------------- /tests/test_nontrivial_dom.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_nontrivial_dom.expected -------------------------------------------------------------------------------- /tests/test_nontrivial_dom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_nontrivial_dom.ml -------------------------------------------------------------------------------- /tests/test_saps.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_saps.expected -------------------------------------------------------------------------------- /tests/test_saps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_saps.ml -------------------------------------------------------------------------------- /tests/test_topsort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_topsort.ml -------------------------------------------------------------------------------- /tests/test_wto.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_wto.expected -------------------------------------------------------------------------------- /tests/test_wto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/test_wto.ml -------------------------------------------------------------------------------- /tests/testgraphml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/tests/testgraphml.ml -------------------------------------------------------------------------------- /view_graph/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/README -------------------------------------------------------------------------------- /view_graph/doc/intro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/doc/intro.txt -------------------------------------------------------------------------------- /view_graph/doc/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/doc/style.css -------------------------------------------------------------------------------- /view_graph/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/dune -------------------------------------------------------------------------------- /view_graph/viewGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph.ml -------------------------------------------------------------------------------- /view_graph/viewGraph_core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_core.ml -------------------------------------------------------------------------------- /view_graph/viewGraph_core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_core.mli -------------------------------------------------------------------------------- /view_graph/viewGraph_select.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_select.ml -------------------------------------------------------------------------------- /view_graph/viewGraph_select.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_select.mli -------------------------------------------------------------------------------- /view_graph/viewGraph_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_test.ml -------------------------------------------------------------------------------- /view_graph/viewGraph_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_utils.ml -------------------------------------------------------------------------------- /view_graph/viewGraph_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/ocamlgraph/HEAD/view_graph/viewGraph_utils.mli --------------------------------------------------------------------------------