Return to glue.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc / examples / missionaries

Annotation of researchv10no/cmd/sml/doc/examples/missionaries/glue.sml, revision 1.1.1.1

1.1       root        1: (* glue.sml *)
                      2: 
                      3: structure SolveDF = Search(structure States = MandC and Buffer = DF)
                      4: 
                      5: structure SolveBF = Search(structure States = MandC and Buffer = BF)
                      6: 
                      7: fun go_df () = SolveDF.search MandC.initial
                      8: 
                      9: fun go_bf () = SolveBF.search MandC.initial

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.