Пример 8

Содержание (FireFox,Safari)

Пример 8

=

switch

А: x=1
B: x=2
C: x=3

Ax
x=1
Bx
x=2
Cx
x=3

x=1

x=1

x=2

x=2

x=3

x=3

x=1
x=2
x=3

Эта простя корректная система образована ЛИБО-узлом D с тремя ключами на переменной x, выбирает одну из трёх базовых ВС с ключами x.

ВС, соответствующая узлу D, по сути, "объединяет" состояния из ВС всех подчинённых вершин - A, B, C:

x=1
x=2
x=3

Исходный код:

<project name="Ex_9">
  <tree name="tr_1">
    <node type="switch" name="D">
      <key nodename="A">
      <state>
        <atom var="x" value="1"></atom>
      </state>
      </key>
      <key nodename="B">
      <state>
        <atom var="x" value="2"></atom>
      </state>
      </key>
      <key nodename="C">
      <state>
        <atom var="x" value="3"></atom>
      </state>
      </key>
      <tree name="case:A,B,C">
      <node type="found" name="A">
        <key>x</key>
        <state>
          <atom var="x" value="1"></atom>
        </state>
        <parentname>D</parentname>
      </node>
      <node type="found" name="B">
        <key>x</key>
        <state>
          <atom var="x" value="2"></atom>
        </state>
        <parentname>D</parentname>
      </node>
      <node type="found" name="C">
        <key>x</key>
        <state>
          <atom var="x" value="3"></atom>
        </state>
        <parentname>D</parentname>
      </node>
      </tree>
    </node>
  </tree>
</project>

Назад Вперёд

ru/en