src/Tools/isac/Specify/model.sml
changeset 59958 c06b7df89dcd
parent 59956 05e5a8498634
equal deleted inserted replaced
59957:d63363c45af6 59958:c06b7df89dcd
    33 23.3.02 TODO: ideas on redesign of type I_Model.feedback,type item,type ori,type item ppc
    33 23.3.02 TODO: ideas on redesign of type I_Model.feedback,type item,type ori,type item ppc
    34 (1) kinds of itms:
    34 (1) kinds of itms:
    35   (1.1) untouched: for modeling only dsc displayed(impossible after match_itms)
    35   (1.1) untouched: for modeling only dsc displayed(impossible after match_itms)
    36         =(presently) Mis (? should be Inc initially, and Mis after match_itms?)
    36         =(presently) Mis (? should be Inc initially, and Mis after match_itms?)
    37   (1.2)  Syn,Typ,Sup: not related to oris
    37   (1.2)  Syn,Typ,Sup: not related to oris
    38     Syn, Typ (presently) should be accepted in I_Model.add_single (instead Error')
    38     Syn, Typ (presently) should be accepted in I_Model.check_single (instead Error')
    39     Sup      (presently) should be accepted in I_Model.add_single (instead Error')
    39     Sup      (presently) should be accepted in I_Model.check_single (instead Error')
    40          _could_ be w.r.t current vat (and then _is_ related to vat
    40          _could_ be w.r.t current vat (and then _is_ related to vat
    41     Mis should _not_ be  made Inc ((presently, by I_Model.add_single & match_itms)
    41     Mis should _not_ be  made Inc ((presently, by I_Model.check_single & match_itms)
    42 - dsc in I_Model.feedback is timeconsuming -- keep id for respective queries ?
    42 - dsc in I_Model.feedback is timeconsuming -- keep id for respective queries ?
    43 - order of items in ppc should be stable w.r.t order of itms
    43 - order of items in ppc should be stable w.r.t order of itms
    44 
    44 
    45 - stepwise input of itms --- match_itms (in one go) ..not coordinated
    45 - stepwise input of itms --- match_itms (in one go) ..not coordinated
    46   - unify code
    46   - unify code