Differences

This shows you the differences between two versions of the page.

--- lab7 [2018/02/12 23:17] – franck
+++ lab7 [2020/02/25 19:35] (current) – franck
@@ Line 1: / Line 1: @@
-====== Lab 5 ======
+====== Lab 4 ======
-The beam search strategy uses the breadth-first search strategy to build its state space.  At each level of the search tree, it generates only a limited number of successors of the states at the current level.  To simplify matters, we limit that number to two.  In general, the beam search strategy would pick the two "best" successors.  Again, to simplify matters, our beam search strategy will select the two "left-most" successors.  Consider, for example, the following state space diagram.
+Test the listener gov.nasa.jpf.StackDepthChecker.  Use the JPF framework (TestJPF).  To receive feedback, submit your code **before** March 5 using the submit command:\\
+<code>
-{{:public:beamsearch.png|}}
+submit 4315 lab4 <name of class>.java
+</code>
-While traversing the state space, the beam search strategy will visit the states labelled A, B, C, E and F.
-Create a search strategy, named BeamSearch, which implements the beam search strategy.  Only add notifications related to SearchListeners (no need for dealing with the attribute done, etcetera).
-To receive feedback, submit your code using the submit command before Saturday February 24:\\
-submit 4315 lab5 BeamSearch.java