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

add conc_ and abs_ to variable names 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8037 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2008-05-24 20:52:30 +00:00
parent 5724bb6413
commit fa830684a5
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
su4sml/src/wfcpog/rep_holocl.sml
View File

@ -293,7 +293,8 @@ fun get_holocl_operation abs_or_conc oper class model =
val hol_name = string_of_path ((name_of class)@[name_of_op oper])
val styp = type_of class
val src = Variable((abs_or_conc^"_"^(name_of_op oper)),styp)
val predicate = Predicate(src,Boolean,[hol_name],args2varargs (arguments_of_op oper))
val predicate = Predicate(src,Boolean,[hol_name],args2varargs
(map (fn (n,t) => (abs_or_conc^"_"^n,t)) (arguments_of_op oper)))
val _ = trace function_ends ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
in
predicate