[Javapathfinder-devel] Few patches for JPF - 2

[Mateusz U. <mat...@gm...>]

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