diff options
author | 2020-05-06 16:16:57 -0400 | |
---|---|---|
committer | 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" |