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

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

This commit is contained in:
Manuel Krucker 2008-05-19 11:30:00 +00:00
parent 240db4206e
commit f32e23d477
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -363,8 +363,8 @@ fun get_holocl_abstraction_relation abs_path conc_path class_name model =
val predicate_name = "R_"^(string_of_path abs_path)^"_"^(string_of_path conc_path)^"_"^class_name
val abs_state = Variable(varcounter.nextStr(),OclState)
val conc_state = Variable(varcounter.nextStr(),OclState)
val abs_type = type_of (class_of abs_path model)
val conc_type = type_of (class_of conc_path model)
val abs_type = type_of (class_of (abs_path@[class_name]) model)
val conc_type = type_of (class_of (conc_path@[class_name]) model)
val abs_term = Variable(varcounter.nextStr(),abs_type)
val conc_term = Variable(varcounter.nextStr(),conc_type)
val predicate = Predicate(abs_state,OclState,[predicate_name],[(conc_state,OclState),(abs_term,abs_type),(conc_term,conc_type)])