equal
deleted
inserted
replaced
551 *) |
551 *) |
552 |
552 |
553 (*me------------ |
553 (*me------------ |
554 val (mI,m) = nxt; val pos' as (p,p_) = p; |
554 val (mI,m) = nxt; val pos' as (p,p_) = p; |
555 |
555 |
556 val Applicable.Yes m = applicable_in (p,p_) pt m; |
556 val Applicable.Yes m = Step.check m (pt, (p,p_)); |
557 (*solve*) |
557 (*solve*) |
558 val pp = par_pblobj pt p; |
558 val pp = par_pblobj pt p; |
559 val metID = get_obj g_metID pt pp; |
559 val metID = get_obj g_metID pt pp; |
560 val sc = (#scr o get_met) metID; |
560 val sc = (#scr o get_met) metID; |
561 val is = get_istate_LI pt (p,p_); |
561 val is = get_istate_LI pt (p,p_); |