cellml-validation/models_1_0/valid/4.2.3_6.7_mathml_logic_constants.cellml at main · MichaelClerx/cellml-validation · GitHub

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<?xml version="1.0" encoding="UTF-8"?>
<!-- CellML Test Suite. https://github.com/MichaelClerx/cellml-validation -->
<!-- CellML 1.0, 4.2.3: The MathML "CellML subset"
Logical constants: true and false -->
<model name="mathml_logic_constants"
       xmlns="http://www.cellml.org/cellml/1.0#"
       xmlns:cellml="http://www.cellml.org/cellml/1.0#">
  <component name="A">
    <variable name="x" units="dimensionless" initial_value="0" />
    <variable name="iftrue" units="dimensionless" />
    <variable name="iffalse" units="dimensionless" />
    <math xmlns="http://www.w3.org/1998/Math/MathML">
      <apply>
        <eq/>
        <ci>iftrue</ci>
        <piecewise>
          <piece>
            <cn cellml:units="dimensionless">1</cn>
            <apply>
              <eq />
              <apply>
                <eq />
                <ci>x</ci>
                <cn cellml:units="dimensionless">0</cn>
              </apply>
              <true />
            </apply>
          </piece>
          <otherwise>
            <cn cellml:units="dimensionless">0</cn>
          </otherwise>
        </piecewise>
      </apply>
      <apply>
        <eq/>
        <ci>iffalse</ci>
        <piecewise>
          <piece>
            <cn cellml:units="dimensionless">1</cn>
            <apply>
              <eq />
              <apply>
                <eq />
                <ci>x</ci>
                <cn cellml:units="dimensionless">0</cn>
              </apply>
              <false />
            </apply>
          </piece>
          <otherwise>
            <cn cellml:units="dimensionless">0</cn>
          </otherwise>
        </piecewise>
      </apply>
    </math>
  </component>
</model>