aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-05 13:37:02 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-05 13:37:02 -0500
commitdf12163128073296c4d811fa67b02e37ceb20179 (patch)
tree7509fdd478d6ff3d908d0ab5aa39ed9a8260f0b0 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
parentBegin handing of scope and fix type definitions. (diff)
downloadVIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.gz
VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.zst
VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.zip
Implement type scope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem272
1 files changed, 15 insertions, 257 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
index 5792ceed..a0b5d6ea 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
@@ -1,7 +1,7 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> 2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
3 <types xsi:type="language_1:TypeDeclaration" name="FunctionalElement class" subtypes="//@types.2" isAbstract="true"/> 3 <types xsi:type="language_1:TypeDeclaration" name="FunctionalElement class" subtypes="//@types.2" isAbstract="true"/>
4 <types xsi:type="language_1:TypeDeclaration" name="FunctionalArchitectureModel class" subtypes="//@types.10 //@types.11" isAbstract="true"/> 4 <types xsi:type="language_1:TypeDeclaration" name="FunctionalArchitectureModel class"/>
5 <types xsi:type="language_1:TypeDeclaration" name="Function class" supertypes="//@types.0"/> 5 <types xsi:type="language_1:TypeDeclaration" name="Function class" supertypes="//@types.0"/>
6 <types xsi:type="language_1:TypeDeclaration" name="FAMTerminator class"/> 6 <types xsi:type="language_1:TypeDeclaration" name="FAMTerminator class"/>
7 <types xsi:type="language_1:TypeDeclaration" name="InformationLink class"/> 7 <types xsi:type="language_1:TypeDeclaration" name="InformationLink class"/>
@@ -10,8 +10,6 @@
10 <types xsi:type="language_1:TypeDeclaration" name="FunctionalOutput class" supertypes="//@types.8"/> 10 <types xsi:type="language_1:TypeDeclaration" name="FunctionalOutput class" supertypes="//@types.8"/>
11 <types xsi:type="language_1:TypeDeclaration" name="FunctionalData class" subtypes="//@types.6 //@types.7" isAbstract="true"/> 11 <types xsi:type="language_1:TypeDeclaration" name="FunctionalData class" subtypes="//@types.6 //@types.7" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDefinition" name="FunctionType enum" elements="//@elements.0 //@elements.1 //@elements.2"/> 12 <types xsi:type="language_1:TypeDefinition" name="FunctionType enum" elements="//@elements.0 //@elements.1 //@elements.2"/>
13 <types xsi:type="language_1:TypeDefinition" name="FunctionalArchitectureModel class DefinedPart" supertypes="//@types.1" elements="//@elements.3"/>
14 <types xsi:type="language_1:TypeDeclaration" name="FunctionalArchitectureModel class UndefinedPart" supertypes="//@types.1"/>
15 <assertions name="upperMultiplicity interface FunctionalElement" annotations="//@annotations.0"> 13 <assertions name="upperMultiplicity interface FunctionalElement" annotations="//@annotations.0">
16 <value xsi:type="language_1:Forall"> 14 <value xsi:type="language_1:Forall">
17 <quantifiedVariables name="src"> 15 <quantifiedVariables name="src">
@@ -496,7 +494,7 @@
496 </expression> 494 </expression>
497 </value> 495 </value>
498 </assertions> 496 </assertions>
499 <assertions name="errorpattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.27"> 497 <assertions name="errorpattern ca mcgill ecse dslreasoner vampire queries terminatorAndInformation" annotations="//@annotations.20">
500 <value xsi:type="language_1:Forall"> 498 <value xsi:type="language_1:Forall">
501 <quantifiedVariables name="p0"> 499 <quantifiedVariables name="p0">
502 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 500 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -505,7 +503,7 @@
505 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 503 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
506 </quantifiedVariables> 504 </quantifiedVariables>
507 <expression xsi:type="language_1:Not"> 505 <expression xsi:type="language_1:Not">
508 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> 506 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
509 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> 507 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/>
510 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/> 508 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/>
511 </operand> 509 </operand>
@@ -572,235 +570,7 @@
572 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 570 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
573 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 571 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
574 </relations> 572 </relations>
575 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam hasRoot" annotations="//@annotations.19"> 573 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner vampire queries terminatorAndInformation" annotations="//@annotations.19">
576 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
577 <variables name="parameter F">
578 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
579 </variables>
580 <value xsi:type="language_1:Or">
581 <operands xsi:type="language_1:Exists">
582 <quantifiedVariables name="variable Model">
583 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
584 </quantifiedVariables>
585 <expression xsi:type="language_1:And">
586 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
587 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
588 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
589 </operands>
590 </expression>
591 </operands>
592 </value>
593 </relations>
594 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam hasInt" annotations="//@annotations.20">
595 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
596 <variables name="parameter F">
597 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
598 </variables>
599 <value xsi:type="language_1:Or">
600 <operands xsi:type="language_1:Forall">
601 <quantifiedVariables name="variable Child">
602 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
603 </quantifiedVariables>
604 <quantifiedVariables name="variable Model">
605 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
606 </quantifiedVariables>
607 <expression xsi:type="language_1:And">
608 <operands xsi:type="language_1:InstanceOf">
609 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
610 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
611 </operands>
612 <operands xsi:type="language_1:Not">
613 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
614 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
615 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
616 </operand>
617 </operands>
618 <operands xsi:type="language_1:Not">
619 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
620 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
621 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
622 </operand>
623 </operands>
624 </expression>
625 </operands>
626 </value>
627 </relations>
628 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam hasLeaf" annotations="//@annotations.21">
629 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
630 <variables name="parameter F">
631 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
632 </variables>
633 <value xsi:type="language_1:Or">
634 <operands xsi:type="language_1:Exists">
635 <quantifiedVariables name="variable Par">
636 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
637 </quantifiedVariables>
638 <quantifiedVariables name="variable Child">
639 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
640 </quantifiedVariables>
641 <expression xsi:type="language_1:And">
642 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
643 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
644 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
645 </operands>
646 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
647 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
648 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
649 </operands>
650 </expression>
651 </operands>
652 </value>
653 </relations>
654 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam model" annotations="//@annotations.22">
655 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
656 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
657 <variables name="parameter This">
658 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
659 </variables>
660 <variables name="parameter Target">
661 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
662 </variables>
663 <value xsi:type="language_1:Or">
664 <operands xsi:type="language_1:And">
665 <operands xsi:type="language_1:InstanceOf">
666 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
667 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
668 </operands>
669 <operands xsi:type="language_1:InstanceOf">
670 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
671 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
672 </operands>
673 </operands>
674 </value>
675 </relations>
676 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam rootElements" annotations="//@annotations.23">
677 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
678 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
679 <variables name="parameter Model">
680 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
681 </variables>
682 <variables name="parameter Root">
683 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
684 </variables>
685 <value xsi:type="language_1:Or">
686 <operands xsi:type="language_1:And">
687 <operands xsi:type="language_1:InstanceOf">
688 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
689 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
690 </operands>
691 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
692 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
693 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
694 </operands>
695 </operands>
696 </value>
697 </relations>
698 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam type" annotations="//@annotations.24">
699 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
700 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
701 <variables name="parameter This">
702 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
703 </variables>
704 <variables name="parameter Target">
705 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
706 </variables>
707 <value xsi:type="language_1:Or">
708 <operands xsi:type="language_1:Exists">
709 <quantifiedVariables name="variable Model">
710 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
711 </quantifiedVariables>
712 <expression xsi:type="language_1:And">
713 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
714 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
715 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
716 </operands>
717 <operands xsi:type="language_1:Equals">
718 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
719 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
720 </operands>
721 </expression>
722 </operands>
723 <operands xsi:type="language_1:Forall">
724 <quantifiedVariables name="variable Child">
725 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
726 </quantifiedVariables>
727 <quantifiedVariables name="variable Model">
728 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
729 </quantifiedVariables>
730 <expression xsi:type="language_1:And">
731 <operands xsi:type="language_1:InstanceOf">
732 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
733 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
734 </operands>
735 <operands xsi:type="language_1:Not">
736 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
737 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.1/@quantifiedVariables.0"/>
738 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
739 </operand>
740 </operands>
741 <operands xsi:type="language_1:Not">
742 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
743 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.1/@quantifiedVariables.1"/>
744 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
745 </operand>
746 </operands>
747 <operands xsi:type="language_1:Equals">
748 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
749 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
750 </operands>
751 </expression>
752 </operands>
753 <operands xsi:type="language_1:Exists">
754 <quantifiedVariables name="variable Par">
755 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
756 </quantifiedVariables>
757 <quantifiedVariables name="variable Child">
758 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
759 </quantifiedVariables>
760 <expression xsi:type="language_1:And">
761 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
762 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
763 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.2/@quantifiedVariables.0"/>
764 </operands>
765 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
766 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.2/@quantifiedVariables.1"/>
767 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
768 </operands>
769 <operands xsi:type="language_1:Equals">
770 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
771 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
772 </operands>
773 </expression>
774 </operands>
775 </value>
776 </relations>
777 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam parent" annotations="//@annotations.25">
778 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
779 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
780 <variables name="parameter Func">
781 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
782 </variables>
783 <variables name="parameter Par">
784 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
785 </variables>
786 <value xsi:type="language_1:Or">
787 <operands xsi:type="language_1:And">
788 <operands xsi:type="language_1:InstanceOf">
789 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
790 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
791 </operands>
792 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
793 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
794 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
795 </operands>
796 <operands xsi:type="language_1:InstanceOf">
797 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
798 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
799 </operands>
800 </operands>
801 </value>
802 </relations>
803 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.26">
804 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 574 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
805 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 575 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
806 <variables name="parameter T"> 576 <variables name="parameter T">
@@ -816,12 +586,12 @@
816 </quantifiedVariables> 586 </quantifiedVariables>
817 <expression xsi:type="language_1:And"> 587 <expression xsi:type="language_1:And">
818 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> 588 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
819 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 589 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
820 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> 590 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
821 </operands> 591 </operands>
822 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 592 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
823 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 593 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
824 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> 594 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
825 </operands> 595 </operands>
826 </expression> 596 </expression>
827 </operands> 597 </operands>
@@ -831,16 +601,12 @@
831 </quantifiedVariables> 601 </quantifiedVariables>
832 <expression xsi:type="language_1:And"> 602 <expression xsi:type="language_1:And">
833 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 603 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
834 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> 604 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
835 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.1/@quantifiedVariables.0"/> 605 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.1/@quantifiedVariables.0"/>
836 </operands>
837 <operands xsi:type="language_1:InstanceOf">
838 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.1/@quantifiedVariables.0"/>
839 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
840 </operands> 606 </operands>
841 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 607 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
842 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.1/@quantifiedVariables.0"/> 608 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.1/@quantifiedVariables.0"/>
843 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> 609 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
844 </operands> 610 </operands>
845 </expression> 611 </expression>
846 </operands> 612 </operands>
@@ -849,8 +615,7 @@
849 <elements name="Root literal FunctionType" definedInType="//@types.9"/> 615 <elements name="Root literal FunctionType" definedInType="//@types.9"/>
850 <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/> 616 <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/>
851 <elements name="Leaf literal FunctionType" definedInType="//@types.9"/> 617 <elements name="Leaf literal FunctionType" definedInType="//@types.9"/>
852 <elements name="o 1" definedInType="//@types.10"/> 618 <containmentHierarchies typesOrderedInHierarchy="//@types.3 //@types.8 //@types.0 //@types.4 //@types.2 //@types.1 //@types.6 //@types.7 //@types.5" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.8 //@relations.11 //@relations.12"/>
853 <containmentHierarchies typesOrderedInHierarchy="//@types.5 //@types.6 //@types.1 //@types.3 //@types.0 //@types.4 //@types.7 //@types.2 //@types.8 //@types.10 //@types.11" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.8 //@relations.11 //@relations.12"/>
854 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" upper="1"/> 619 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" upper="1"/>
855 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.1" relation="//@relations.1" lower="1"/> 620 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.1" relation="//@relations.1" lower="1"/>
856 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" upper="1"/> 621 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" upper="1"/>
@@ -870,13 +635,6 @@
870 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/> 635 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/>
871 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/> 636 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/>
872 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/> 637 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/>
873 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasRoot"/> 638 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/>
874 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasInt"/> 639 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.19"/>
875 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasLeaf"/>
876 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
877 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>
878 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
879 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
880 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>
881 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.26"/>
882</language:LogicProblem> 640</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:44:09 +0000