Hi Doug:

below I had to comment out some lines for the midterm
because I could not understand the behavior of the AP Library.

Please can you check whether the AP Library is correct.
Check the cases where your name is mentioned.

-- Karl

#!bin/sh
#sh run_test

cd /proj/adaptive/www/course/exams/m-3360-f99/q3
javac MyMain.java

java MyMain "A=X. X=B C. B:X|E. E=. C=." "from A through B to C"
# java MyMain "A=X. X=B C. B:X|E. E=. C=." "{A -> B B -> C} source: {A} target: {B}"
# Doug: Why does the second test not produce the same output as the first?
# E appears only in the second.

# java MyMain "A=X. X=B C. B:X|E. E=. C=." "{A -> B B -> C}"
# Doug: why is E here in the traversal graph? It should not be.

java MyMain "A=B1 C. B1=B D. B=[B1]. C=D. D=E F1. E=G. F1=F G. F=[F1]. G=." "from A through B through F to G"
java MyMain "A:B. B=C. C=." "from A bypassing ->A,b,B to C"

# java MyMain "A=B. B=C. C=." "from A bypassing ->A,b,B to C"
# java MyMain "A=B. B=C. C=." "from A bypassing B to C"
java MyMain "A=B. B=C. C=B A." "from B to C"
java MyMain "A=B. B=C. C=B." "from A to-stop C"
java MyMain "A=<b1>B <b1>B. B=C. C=." "from A to C"
# java MyMain "A=<b1>B <b1>C. B=C. C=." "from A to C"