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

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

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

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

@ -349,7 +349,7 @@ fun refine_operation abs_oper conc_oper abs_class conc_class model =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_classifier\n")
(* val R = get_holocl_abstraction_relation abs_class conc_class model *)
val S = get_holocl_operation abs_oper abs_class model
val refine = 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)
*)