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

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

This commit is contained in:
Manuel Krucker 2008-05-08 09:27:56 +00:00
parent e57edf3ad5
commit e5202a9f04
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

@ -297,7 +297,7 @@ fun get_holocl_operation var_name oper class model =
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
(** use Rep_Encoder to get operation as HOL-OCL-Term **)
(* val term = Rep_Encoder. .... *)
val hol_name = mk_def_of ((name_of class)@[(name_of_op oper)])
val hol_name = (name_of class)@[(name_of_op oper)]
val args = List.map (fn (a,b) => (Variable(a,b),b)) (arguments_of_op oper)
val typ = type_of class
val predicate = Predicate(Variable(var_name,typ),typ,hol_name,args)