|
Содержание (FireFox,Safari)
|
Пример 8
D
=
switch
(A,
B,
C)
А: 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 |