test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml
changeset 60778 41abd196342a
parent 60777 df8636ffd6f8
child 60782 e797d1bdfe37
equal deleted inserted replaced
60777:df8636ffd6f8 60778:41abd196342a
   367             val ts' = inter op = (feedb_values feedb) ts
   367             val ts' = inter op = (feedb_values feedb) ts
   368 val false =
   368 val false =
   369             (*if*) subset op = (ts, ts') 
   369             (*if*) subset op = (ts, ts') 
   370 
   370 
   371 val return_is_notyet_input = ("",
   371 val return_is_notyet_input = ("",
   372            ori_2itm feedb pid all (i, v, f, d, subtract op = ts' ts));
   372            single_from_o feedb pid all (i, v, f, d, subtract op = ts' ts));
   373 "~~~~~ fun ori_2itm , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
   373 "~~~~~ fun single_from_o , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
   374   (feedb, pid, all, (i, v, f, d, subtract op = ts' ts));
   374   (feedb, pid, all, (i, v, f, d, subtract op = ts' ts));
   375     val ts' = union op = (feedb_values feedb) ts;
   375     val ts' = union op = (feedb_values feedb) ts;
   376     val pval = [Input_Descript.join'''' (d, ts')]
   376     val pval = [Input_Descript.join'''' (d, ts')]
   377     val complete = if eq_set op = (ts', all) then true else false
   377     val complete = if eq_set op = (ts', all) then true else false
   378 
   378