From fa830684a558ad3b013efe342ee386e25996b3f3 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 24 May 2008 20:52:30 +0000 Subject: [PATCH] add conc_ and abs_ to variable names git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8037 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/rep_holocl.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/su4sml/src/wfcpog/rep_holocl.sml b/su4sml/src/wfcpog/rep_holocl.sml index ecb2d7e..b4e8838 100644 --- a/su4sml/src/wfcpog/rep_holocl.sml +++ b/su4sml/src/wfcpog/rep_holocl.sml @@ -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