home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / examples / missionaries / glue.sml < prev    next >
Encoding:
Text File  |  1995-12-30  |  245 b   |  10 lines  |  [TEXT/R*ch]
  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
  10.