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

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

This commit is contained in:
Manuel Krucker 2008-04-02 13:42:26 +00:00
parent 8bf1daef44
commit ab79a17ce0
1 changed files with 0 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
su4sml/src/wfcpo-gen/example.sml
View File

@ -1,24 +0,0 @@
open WFCPOG_Registry
open WFCPOG_Constraint_Library
(* GET BASE CONSTRAINT *)
val tax = get_wfpo supported "tax"
val rfm_syn = get_wfpo supported "rfm_syn"
(* EXTEND BASE CONSTRAINT WITH ADDITIONAL DATA *)
(* MAXIMUM DEPTH OF THE INHERITANCE STRUCTURE *)
val md0 = TAX_Data.put ({key=9,max_depth=0}) tax
val md1 = TAX_Data.put ({key=9,max_depth=1}) tax
val md2 = TAX_Data.put ({key=9,max_depth=2}) tax
val md3 = TAX_Data.put ({key=9,max_depth=3}) tax
val md4 = TAX_Data.put ({key=9,max_depth=4}) tax
val md5 = TAX_Data.put ({key=9,max_depth=5}) tax
val md6 = TAX_Data.put ({key=9,max_depth=6}) tax
val md7 = TAX_Data.put ({key=9,max_depth=7}) tax
val md8 = TAX_Data.put ({key=9,max_depth=8}) tax
(* REFINEMENT OF PACKAGES *)
val sc1 = RFM_Data.put ({key=10,rfm_tuples=[(["AbstractSimpleChair01"],["ConcreteSimpleChair01"])]}) rfm_syn
val sc2 = RFM_Data.put ({key=10,rfm_tuples=[(["AbstractSimpleChair02"],["ConcreteSimpleChair02"])]}) rfm_syn
val sc3 = RFM_Data.put ({key=10,rfm_tuples=[(["AbstractSimpleChair01"],["ConcreteSimpleChair01"]),(["AbstractSimpleChair02"],["ConcreteSimpleChair02"])]}) rfm_syn