diff options
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.logicproblem | 215 |
1 files changed, 1 insertions, 214 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 226150e8..f86a2f3c 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,5 +1,5 @@ | |||
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"> |
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" subtypes="//@types.10 //@types.11" isAbstract="true"/> |
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"/> |
@@ -496,22 +496,6 @@ | |||
496 | </expression> | 496 | </expression> |
497 | </value> | 497 | </value> |
498 | </assertions> | 498 | </assertions> |
499 | <assertions name="errorpattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.24"> | ||
500 | <value xsi:type="language_1:Forall"> | ||
501 | <quantifiedVariables name="p0"> | ||
502 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
503 | </quantifiedVariables> | ||
504 | <quantifiedVariables name="p1"> | ||
505 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
506 | </quantifiedVariables> | ||
507 | <expression xsi:type="language_1:Not"> | ||
508 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
509 | <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"/> | ||
511 | </operand> | ||
512 | </expression> | ||
513 | </value> | ||
514 | </assertions> | ||
515 | <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalElement"> | 499 | <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalElement"> |
516 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 500 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
517 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 501 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
@@ -572,197 +556,6 @@ | |||
572 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 556 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
573 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | 557 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> |
574 | </relations> | 558 | </relations> |
575 | <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam rootElements" annotations="//@annotations.19"> | ||
576 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
577 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
578 | <variables name="parameter Model"> | ||
579 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
580 | </variables> | ||
581 | <variables name="parameter Root"> | ||
582 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
583 | </variables> | ||
584 | <value xsi:type="language_1:Or"> | ||
585 | <operands xsi:type="language_1:And"> | ||
586 | <operands xsi:type="language_1:InstanceOf"> | ||
587 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/> | ||
588 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
589 | </operands> | ||
590 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
591 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> | ||
592 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/> | ||
593 | </operands> | ||
594 | </operands> | ||
595 | </value> | ||
596 | </relations> | ||
597 | <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam model" annotations="//@annotations.20"> | ||
598 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
599 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
600 | <variables name="parameter This"> | ||
601 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
602 | </variables> | ||
603 | <variables name="parameter Target"> | ||
604 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
605 | </variables> | ||
606 | <value xsi:type="language_1:Or"> | ||
607 | <operands 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.0"/> | ||
611 | </operands> | ||
612 | <operands xsi:type="language_1:InstanceOf"> | ||
613 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
614 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
615 | </operands> | ||
616 | </operands> | ||
617 | </value> | ||
618 | </relations> | ||
619 | <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.21"> | ||
620 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
621 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
622 | <variables name="parameter T"> | ||
623 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
624 | </variables> | ||
625 | <variables name="parameter I"> | ||
626 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
627 | </variables> | ||
628 | <value xsi:type="language_1:Or"> | ||
629 | <operands xsi:type="language_1:Exists"> | ||
630 | <quantifiedVariables name="variable Out"> | ||
631 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
632 | </quantifiedVariables> | ||
633 | <expression xsi:type="language_1:And"> | ||
634 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> | ||
635 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> | ||
636 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
637 | </operands> | ||
638 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
639 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> | ||
640 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> | ||
641 | </operands> | ||
642 | </expression> | ||
643 | </operands> | ||
644 | <operands xsi:type="language_1:Exists"> | ||
645 | <quantifiedVariables name="variable In"> | ||
646 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
647 | </quantifiedVariables> | ||
648 | <expression xsi:type="language_1:And"> | ||
649 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
650 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
651 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/> | ||
652 | </operands> | ||
653 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
654 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/> | ||
655 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> | ||
656 | </operands> | ||
657 | </expression> | ||
658 | </operands> | ||
659 | </value> | ||
660 | </relations> | ||
661 | <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam parent" annotations="//@annotations.22"> | ||
662 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
663 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
664 | <variables name="parameter Func"> | ||
665 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
666 | </variables> | ||
667 | <variables name="parameter Par"> | ||
668 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
669 | </variables> | ||
670 | <value xsi:type="language_1:Or"> | ||
671 | <operands xsi:type="language_1:And"> | ||
672 | <operands xsi:type="language_1:InstanceOf"> | ||
673 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> | ||
674 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
675 | </operands> | ||
676 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
677 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> | ||
678 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> | ||
679 | </operands> | ||
680 | <operands xsi:type="language_1:InstanceOf"> | ||
681 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> | ||
682 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
683 | </operands> | ||
684 | </operands> | ||
685 | </value> | ||
686 | </relations> | ||
687 | <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam type" annotations="//@annotations.23"> | ||
688 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
689 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | ||
690 | <variables name="parameter This"> | ||
691 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
692 | </variables> | ||
693 | <variables name="parameter Target"> | ||
694 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | ||
695 | </variables> | ||
696 | <value xsi:type="language_1:Or"> | ||
697 | <operands xsi:type="language_1:Exists"> | ||
698 | <quantifiedVariables name="variable Model"> | ||
699 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
700 | </quantifiedVariables> | ||
701 | <expression xsi:type="language_1:And"> | ||
702 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
703 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
704 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
705 | </operands> | ||
706 | <operands xsi:type="language_1:Equals"> | ||
707 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/> | ||
708 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
709 | </operands> | ||
710 | </expression> | ||
711 | </operands> | ||
712 | <operands xsi:type="language_1:Forall"> | ||
713 | <quantifiedVariables name="variable Child"> | ||
714 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
715 | </quantifiedVariables> | ||
716 | <quantifiedVariables name="variable Model"> | ||
717 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
718 | </quantifiedVariables> | ||
719 | <expression xsi:type="language_1:And"> | ||
720 | <operands xsi:type="language_1:InstanceOf"> | ||
721 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
722 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
723 | </operands> | ||
724 | <operands xsi:type="language_1:Not"> | ||
725 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
726 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.0"/> | ||
727 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
728 | </operand> | ||
729 | </operands> | ||
730 | <operands xsi:type="language_1:Not"> | ||
731 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
732 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.1"/> | ||
733 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
734 | </operand> | ||
735 | </operands> | ||
736 | <operands xsi:type="language_1:Equals"> | ||
737 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/> | ||
738 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> | ||
739 | </operands> | ||
740 | </expression> | ||
741 | </operands> | ||
742 | <operands xsi:type="language_1:Exists"> | ||
743 | <quantifiedVariables name="variable Par"> | ||
744 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
745 | </quantifiedVariables> | ||
746 | <quantifiedVariables name="variable Child"> | ||
747 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
748 | </quantifiedVariables> | ||
749 | <expression xsi:type="language_1:And"> | ||
750 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
751 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
752 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.2/@quantifiedVariables.0"/> | ||
753 | </operands> | ||
754 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
755 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.2/@quantifiedVariables.1"/> | ||
756 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
757 | </operands> | ||
758 | <operands xsi:type="language_1:Equals"> | ||
759 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/> | ||
760 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> | ||
761 | </operands> | ||
762 | </expression> | ||
763 | </operands> | ||
764 | </value> | ||
765 | </relations> | ||
766 | <elements name="Root literal FunctionType" definedInType="//@types.9"/> | 559 | <elements name="Root literal FunctionType" definedInType="//@types.9"/> |
767 | <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/> | 560 | <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/> |
768 | <elements name="Leaf literal FunctionType" definedInType="//@types.9"/> | 561 | <elements name="Leaf literal FunctionType" definedInType="//@types.9"/> |
@@ -787,10 +580,4 @@ | |||
787 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/> | 580 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/> |
788 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/> | 581 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/> |
789 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/> | 582 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/> |
790 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/> | ||
791 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
792 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/> | ||
793 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/> | ||
794 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
795 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.21"/> | ||
796 | </language:LogicProblem> | 583 | </language:LogicProblem> |