HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8015 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-05-21 17:46:33 +00:00
parent e278279dea
commit 027f90afb2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
su4sml/src/wfcpog/refine_constraint.sml
View File

@ -348,9 +348,9 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
fun refine_operation abs_oper conc_oper abs_class conc_class model =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_classifier\n")
val refine = get_holocl_abstraction_relation abs_class conc_class model
(* val S = get_holocl_operation abs_oper abs_class model
val T = get_holocl_operation conc_oper conc_class model
(* val R = get_holocl_abstraction_relation abs_class conc_class model *)
val S = get_holocl_operation abs_oper abs_class model
(* val T = get_holocl_operation conc_oper conc_class model
val refine = OperationCall(S,DummyT,["holOclLib","methodology","refinement","OclForwardRefinement"],[(T,DummyT),(R,DummyT)],Boolean)
*)
val _ = trace function_ends ("WFCPOG_Refine_Constraint.refine_classifier\n")