git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8012 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
54dc6303a5
commit
6af7d2319a
|
@ -290,10 +290,10 @@ fun holocl_localValid_transition term var_name1 var_name2 =
|
||||||
fun get_holocl_operation oper class model =
|
fun get_holocl_operation oper class model =
|
||||||
let
|
let
|
||||||
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
||||||
val hol_name = (name_of class)@[(name_of_op oper)]
|
val hol_name = string_of_path ((name_of class)@[(name_of_op oper)])
|
||||||
val styp = type_of class
|
val styp = type_of class
|
||||||
val src = Variable((string_of_path (name_of class))^(name_of_op oper),styp)
|
val src = Variable((string_of_path (name_of class))^(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 (arguments_of_op oper))
|
||||||
val _ = trace function_ends ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
val _ = trace function_ends ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
||||||
in
|
in
|
||||||
predicate
|
predicate
|
||||||
|
|
Loading…
Reference in New Issue