[Javapathfinder-svn] SF.net SVN: javapathfinder:[1065] trunk

[<pcm...@us...>]

Revision: 1065
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1065&view=rev
Author:   pcmehlitz
Date:     2008-11-18 18:39:05 +0000 (Tue, 18 Nov 2008)

Log Message:
-----------
* we can't use TreeSet.pollFirst()/pollLast() because they are only in Java 1.6, which we can't switch to because it's not available for PPC. Going back to Java 1.5 remove(first()/last()) requires "compareTo(o)==0" equivalence to "equals(o) == true" for PrioritizedState [I don't know how often I get this wrong]

* also re-renamed 'priority' to 'heuristicValue', since the inverted priorities were too confusing. Lower heuristicValues mean higher priorities

* on top of that, PrioritizedState.compareTo() had a leftover debug-bug (yesterday wasn't my best day)

NOTE: even my previous commit message was wrong - of course it's (only) +search.class that has to be set. In fact, the old +search.heuristic.class is obsolete (should update default.properties)

Modified Paths:
--------------
    trunk/examples/Rand.java
    trunk/src/gov/nasa/jpf/search/heuristic/PrioritizedState.java
    trunk/src/gov/nasa/jpf/search/heuristic/SimplePriorityHeuristic.java
    trunk/src/gov/nasa/jpf/search/heuristic/StaticPriorityQueue.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.