As a first step I implemented the naive abstraction algorithm which explores all partitions of the LTS (see PhasedSegmentation.make_naive).
Since I'm not familiar with best practices in OCaml, I don't know if it makes sense to wrap the functions in almostCommuting.mli in modules, or if this is an overkill.
As a first step I implemented the naive abstraction algorithm which explores all partitions of the LTS (see PhasedSegmentation.make_naive).
Since I'm not familiar with best practices in OCaml, I don't know if it makes sense to wrap the functions in
almostCommuting.mliin modules, or if this is an overkill.