From 20f131a3f09edf8e1455f20b4f486629147e7eff Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Jan 2019 12:44:33 -0500
Subject: Initial workspace setup

---
 .../output/files/logProb.logicproblem              | 27 ++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem')

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
new file mode 100644
index 00000000..f5f90f38
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="ASCII"?>
+<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">
+  <assertions name="assertion1">
+    <value xsi:type="language_1:Iff">
+      <leftOperand xsi:type="language_1:Not">
+        <operand xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/>
+        </operand>
+      </leftOperand>
+      <rightOperand xsi:type="language_1:Or">
+        <operands xsi:type="language_1:Not">
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.0"/>
+        </operands>
+        <operands xsi:type="language_1:Not">
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@constants.1"/>
+        </operands>
+      </rightOperand>
+    </value>
+  </assertions>
+  <constants xsi:type="language_1:ConstantDeclaration" name="constant1">
+    <type xsi:type="language_1:BoolTypeReference"/>
+  </constants>
+  <constants xsi:type="language_1:ConstantDeclaration" name="constant2">
+    <type xsi:type="language_1:BoolTypeReference"/>
+  </constants>
+</language:LogicProblem>
-- 
cgit v1.2.3-54-g00ecf