Hi,
As I have written in my previous post I submitting two new patches.
First one is for StateSpaceDot.java(for dot format) previous solutions
based on adding width to graph elements
which is not ideal, current solution uses monospaced font in labels
which is better solution. Patch for search package adds template method
pattern to *Search classes. Basically
we have search() method in Search.java which calls abstract method
startSearch(*) which is implemented in inheriting classes, we save few
lines in each class and code is more modular.
Regards
Mateusz Ujma
|
