Change AtMostProbable to LessProbableThan
The actual box of PML (in GMLMIP) is: less probable than. The Diamond is: At least Probable than. So now you have ¬[p] C = <p> C.
Showing
- src/lib/CoAlgFormula.ml 30 additions, 24 deletionssrc/lib/CoAlgFormula.ml
- src/lib/CoAlgFormula.mli 4 additions, 3 deletionssrc/lib/CoAlgFormula.mli
- src/lib/CoAlgLogics.ml 1 addition, 1 deletionsrc/lib/CoAlgLogics.ml
- src/lib/CoAlgMisc.ml 5 additions, 5 deletionssrc/lib/CoAlgMisc.ml
- src/lib/CoAlgMisc.mli 1 addition, 1 deletionsrc/lib/CoAlgMisc.mli
- src/testsuite/cool-testsuite.ml 4 additions, 4 deletionssrc/testsuite/cool-testsuite.ml
Loading
Please register or sign in to comment