gg: add 3 options to gg tree (--in-tree, --out-tree, -- in-out-tree)
Showing
- tools/gg/graphGen.ml 1 addition, 1 deletiontools/gg/graphGen.ml
- tools/gg/graphGen_arg.ml 23 additions, 2 deletionstools/gg/graphGen_arg.ml
- tools/gg/graphGen_arg.mli 2 additions, 0 deletionstools/gg/graphGen_arg.mli
- tools/gg/randomGraph.ml 20 additions, 10 deletionstools/gg/randomGraph.ml
- tools/gg/randomGraph.mli 2 additions, 1 deletiontools/gg/randomGraph.mli
Loading
Please register or sign in to comment