-
- Downloads
Make propagation rate configurable with command line flag
Adds the parameter --propagationRate
Showing
- src/coalg/coalg.ml 22 additions, 4 deletionssrc/coalg/coalg.ml
- src/coalgcompare/coalgcompare.ml 1 addition, 1 deletionsrc/coalgcompare/coalgcompare.ml
- src/debugger/debugger.ml 1 addition, 1 deletionsrc/debugger/debugger.ml
- src/lib/CoAlgMisc.mli 0 additions, 1 deletionsrc/lib/CoAlgMisc.mli
- src/lib/CoAlgReasoner.ml 14 additions, 5 deletionssrc/lib/CoAlgReasoner.ml
- src/lib/CoAlgReasoner.mli 10 additions, 2 deletionssrc/lib/CoAlgReasoner.mli
- src/lib/CoolGraph.ml 26 additions, 10 deletionssrc/lib/CoolGraph.ml
- src/lib/CoolGraph.mli 4 additions, 0 deletionssrc/lib/CoolGraph.mli
- src/owl/cool-owl.ml 1 addition, 1 deletionsrc/owl/cool-owl.ml
- src/testsuite/Testsuite.ml 1 addition, 1 deletionsrc/testsuite/Testsuite.ml
Loading
Please register or sign in to comment