diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-06 16:16:57 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-06 16:16:57 -0400 |
| commit | e44d27fde5c3b6c933ea3de33781f6ad03d6545b (patch) | |
| tree | fd4a58ed41ff3a91702cb1b7b89a9d9688fc1b4e /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml | |
| parent | Adjust classpath for Z3 in viatra2logic (diff) | |
| download | VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.gz VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.zst VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.zip | |
Adjustments to FamilyTree and Pledge Case studies
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml | 76 |
1 files changed, 19 insertions, 57 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml index 0182add9..88392428 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml | |||
| @@ -667,8 +667,8 @@ graph | |||
| 667 | ] | 667 | ] |
| 668 | edge | 668 | edge |
| 669 | [ | 669 | [ |
| 670 | source 9 | 670 | source 8 |
| 671 | target 8 | 671 | target 9 |
| 672 | graphics | 672 | graphics |
| 673 | [ | 673 | [ |
| 674 | fill "#000000" | 674 | fill "#000000" |
| @@ -686,8 +686,8 @@ graph | |||
| 686 | ] | 686 | ] |
| 687 | edge | 687 | edge |
| 688 | [ | 688 | [ |
| 689 | source 8 | 689 | source 9 |
| 690 | target 9 | 690 | target 8 |
| 691 | graphics | 691 | graphics |
| 692 | [ | 692 | [ |
| 693 | fill "#000000" | 693 | fill "#000000" |
| @@ -706,7 +706,7 @@ graph | |||
| 706 | edge | 706 | edge |
| 707 | [ | 707 | [ |
| 708 | source 10 | 708 | source 10 |
| 709 | target 11 | 709 | target 9 |
| 710 | graphics | 710 | graphics |
| 711 | [ | 711 | [ |
| 712 | fill "#000000" | 712 | fill "#000000" |
| @@ -724,8 +724,8 @@ graph | |||
| 724 | ] | 724 | ] |
| 725 | edge | 725 | edge |
| 726 | [ | 726 | [ |
| 727 | source 8 | 727 | source 10 |
| 728 | target 10 | 728 | target 8 |
| 729 | graphics | 729 | graphics |
| 730 | [ | 730 | [ |
| 731 | fill "#000000" | 731 | fill "#000000" |
| @@ -743,8 +743,8 @@ graph | |||
| 743 | ] | 743 | ] |
| 744 | edge | 744 | edge |
| 745 | [ | 745 | [ |
| 746 | source 11 | 746 | source 9 |
| 747 | target 9 | 747 | target 10 |
| 748 | graphics | 748 | graphics |
| 749 | [ | 749 | [ |
| 750 | fill "#000000" | 750 | fill "#000000" |
| @@ -781,7 +781,7 @@ graph | |||
| 781 | ] | 781 | ] |
| 782 | edge | 782 | edge |
| 783 | [ | 783 | [ |
| 784 | source 10 | 784 | source 9 |
| 785 | target 8 | 785 | target 8 |
| 786 | graphics | 786 | graphics |
| 787 | [ | 787 | [ |
| @@ -790,7 +790,7 @@ graph | |||
| 790 | ] | 790 | ] |
| 791 | LabelGraphics | 791 | LabelGraphics |
| 792 | [ | 792 | [ |
| 793 | text "children reference Member" | 793 | text "parents reference Member" |
| 794 | fontSize 14 | 794 | fontSize 14 |
| 795 | fontName "Consolas" | 795 | fontName "Consolas" |
| 796 | configuration "AutoFlippingLabel" | 796 | configuration "AutoFlippingLabel" |
| @@ -820,7 +820,7 @@ graph | |||
| 820 | edge | 820 | edge |
| 821 | [ | 821 | [ |
| 822 | source 9 | 822 | source 9 |
| 823 | target 8 | 823 | target 10 |
| 824 | graphics | 824 | graphics |
| 825 | [ | 825 | [ |
| 826 | fill "#000000" | 826 | fill "#000000" |
| @@ -838,7 +838,7 @@ graph | |||
| 838 | ] | 838 | ] |
| 839 | edge | 839 | edge |
| 840 | [ | 840 | [ |
| 841 | source 11 | 841 | source 8 |
| 842 | target 10 | 842 | target 10 |
| 843 | graphics | 843 | graphics |
| 844 | [ | 844 | [ |
| @@ -858,26 +858,7 @@ graph | |||
| 858 | edge | 858 | edge |
| 859 | [ | 859 | [ |
| 860 | source 10 | 860 | source 10 |
| 861 | target 8 | 861 | target 9 |
| 862 | graphics | ||
| 863 | [ | ||
| 864 | fill "#000000" | ||
| 865 | targetArrow "standard" | ||
| 866 | ] | ||
| 867 | LabelGraphics | ||
| 868 | [ | ||
| 869 | text "parents reference Member" | ||
| 870 | fontSize 14 | ||
| 871 | fontName "Consolas" | ||
| 872 | configuration "AutoFlippingLabel" | ||
| 873 | model "six_pos" | ||
| 874 | position "thead" | ||
| 875 | ] | ||
| 876 | ] | ||
| 877 | edge | ||
| 878 | [ | ||
| 879 | source 9 | ||
| 880 | target 11 | ||
| 881 | graphics | 862 | graphics |
| 882 | [ | 863 | [ |
| 883 | fill "#000000" | 864 | fill "#000000" |
| @@ -914,27 +895,8 @@ graph | |||
| 914 | ] | 895 | ] |
| 915 | edge | 896 | edge |
| 916 | [ | 897 | [ |
| 917 | source 8 | 898 | source 9 |
| 918 | target 10 | 899 | target 5 |
| 919 | graphics | ||
| 920 | [ | ||
| 921 | fill "#000000" | ||
| 922 | targetArrow "standard" | ||
| 923 | ] | ||
| 924 | LabelGraphics | ||
| 925 | [ | ||
| 926 | text "parents reference Member" | ||
| 927 | fontSize 14 | ||
| 928 | fontName "Consolas" | ||
| 929 | configuration "AutoFlippingLabel" | ||
| 930 | model "six_pos" | ||
| 931 | position "thead" | ||
| 932 | ] | ||
| 933 | ] | ||
| 934 | edge | ||
| 935 | [ | ||
| 936 | source 8 | ||
| 937 | target 6 | ||
| 938 | graphics | 900 | graphics |
| 939 | [ | 901 | [ |
| 940 | fill "#000000" | 902 | fill "#000000" |
| @@ -952,7 +914,7 @@ graph | |||
| 952 | ] | 914 | ] |
| 953 | edge | 915 | edge |
| 954 | [ | 916 | [ |
| 955 | source 9 | 917 | source 8 |
| 956 | target 5 | 918 | target 5 |
| 957 | graphics | 919 | graphics |
| 958 | [ | 920 | [ |
| @@ -972,7 +934,7 @@ graph | |||
| 972 | edge | 934 | edge |
| 973 | [ | 935 | [ |
| 974 | source 10 | 936 | source 10 |
| 975 | target 2 | 937 | target 5 |
| 976 | graphics | 938 | graphics |
| 977 | [ | 939 | [ |
| 978 | fill "#000000" | 940 | fill "#000000" |
| @@ -991,7 +953,7 @@ graph | |||
| 991 | edge | 953 | edge |
| 992 | [ | 954 | [ |
| 993 | source 11 | 955 | source 11 |
| 994 | target 4 | 956 | target 6 |
| 995 | graphics | 957 | graphics |
| 996 | [ | 958 | [ |
| 997 | fill "#000000" | 959 | fill "#000000" |