aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
diff options
context:
space:
mode:
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.logicproblem215
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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 18:51:46 +0000