2 public class Parameter {
12 neighbors = new HashSet();
15 public static Node makeNode() {
19 public addNeighbor( Node n ) {
24 task Startup( StartupObject s{ initialstate } ) {
26 Parameter p1 = new Parameter();
28 taskexit( s{ !initialstate } );
32 task MakeGraph( Parameter p1{ !w } ) {
35 Parameter p2 = new Parameter();
37 Node n1 = Node.makeNode();
38 Node n2 = Node.makeNode();
39 Node n3 = Node.makeNode();