diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
| commit | b685589e596bdc27fd9cbbbdde347a5d6f1439e0 (patch) | |
| tree | ff0e8f49b6f107ebc5937b58c1e5e0154c5e37d1 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem | |
| parent | Initial workspace setup (diff) | |
| download | VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.gz VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.zst VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.zip | |
FAM MM transformation works
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem index f5f90f38..2529b6d7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem | |||
| @@ -1,27 +1,27 @@ | |||
| 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:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"> | 2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 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:TypeDefinition" name="oldRPS" elements="//@elements.0 //@elements.1 //@elements.2"/> | ||
| 3 | <assertions name="assertion1"> | 4 | <assertions name="assertion1"> |
| 4 | <value xsi:type="language_1:Iff"> | 5 | <value xsi:type="language_1:Forall"> |
| 5 | <leftOperand xsi:type="language_1:Not"> | 6 | <quantifiedVariables name="x"> |
| 6 | <operand xsi:type="language_1:And"> | 7 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
| 7 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/> | 8 | </quantifiedVariables> |
| 8 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/> | 9 | <expression xsi:type="language_1:Exists"> |
| 9 | </operand> | 10 | <quantifiedVariables name="y"> |
| 10 | </leftOperand> | 11 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
| 11 | <rightOperand xsi:type="language_1:Or"> | 12 | </quantifiedVariables> |
| 12 | <operands xsi:type="language_1:Not"> | 13 | <expression xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
| 13 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/> | 14 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
| 14 | </operands> | 15 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> |
| 15 | <operands xsi:type="language_1:Not"> | 16 | </expression> |
| 16 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/> | 17 | </expression> |
| 17 | </operands> | ||
| 18 | </rightOperand> | ||
| 19 | </value> | 18 | </value> |
| 20 | </assertions> | 19 | </assertions> |
| 21 | <constants xsi:type="language_1:ConstantDeclaration" name="constant1"> | 20 | <relations xsi:type="language_1:RelationDeclaration" name="beats2"> |
| 22 | <type xsi:type="language_1:BoolTypeReference"/> | 21 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
| 23 | </constants> | 22 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
| 24 | <constants xsi:type="language_1:ConstantDeclaration" name="constant2"> | 23 | </relations> |
| 25 | <type xsi:type="language_1:BoolTypeReference"/> | 24 | <elements name="Rock" definedInType="//@types.0"/> |
| 26 | </constants> | 25 | <elements name="Paper" definedInType="//@types.0"/> |
| 26 | <elements name="Scissor" definedInType="//@types.0"/> | ||
| 27 | </language:LogicProblem> | 27 | </language:LogicProblem> |