|
From: <ne...@us...> - 2009-09-22 20:34:37
|
Revision: 1914
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1914&view=rev
Author: nehas
Date: 2009-09-22 20:34:30 +0000 (Tue, 22 Sep 2009)
Log Message:
-----------
* Added some getter functions to the MetaHeuristic and GuidedDFSearch classes
* Added a stateGenListener class inorder to get access to the abstract traces and concrete state to visualize the guided search
* Minor modifications to the RunGuidedTest and TraceOutputListener
Modified Paths:
--------------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/TraceOutputListener.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/RunGuidedTest.java
Added Paths:
-----------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/visualize/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/visualize/StateGenListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|