equal
deleted
inserted
replaced
575 | NONE => Chead.Notappl ("syntax error in " ^ ct')) |
575 | NONE => Chead.Notappl ("syntax error in " ^ ct')) |
576 end |
576 end |
577 |
577 |
578 | applicable_in p pt (Take_Inst ct') = |
578 | applicable_in p pt (Take_Inst ct') = |
579 error ("applicable_in: not impl. for " ^ tac2str (Take_Inst ct')) |
579 error ("applicable_in: not impl. for " ^ tac2str (Take_Inst ct')) |
580 | applicable_in p pt (Group (con, ints)) = |
|
581 error ("applicable_in: not impl. for " ^ tac2str (Group (con, ints))) |
|
582 |
|
583 | applicable_in (p,p_) pt (m as Subproblem (domID, pblID)) = |
580 | applicable_in (p,p_) pt (m as Subproblem (domID, pblID)) = |
584 if member op = [Pbl,Met] p_ |
581 if member op = [Pbl,Met] p_ |
585 then (*maybe Apply_Method has already been done FIXME.WN150511: declare_constraints*) |
582 then (*maybe Apply_Method has already been done FIXME.WN150511: declare_constraints*) |
586 case get_obj g_env pt p of |
583 case get_obj g_env pt p of |
587 SOME is => |
584 SOME is => |