aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/logProb.logicproblem
blob: f5f90f3809f28881c2824cea1e29813ffde34e9a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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>