Content
|
Пример 9
D
=
switch
(A,
B,
C)
А: x=1
B: x=2
C: x=3
-
Ax
x=1
-
By
x=2,y=2
x=2,y=3
-
Cz
x=3,y=2,z=3
x=3,y=3,z=2
x=3,y=3,z=1
x=1
x=1
x=2,y=2
x=2,y=3
x=2,y=2
x=2,y=3
x=3,y=2,z=3
x=3,y=3,z=2
x=3,y=3,z=1
x=3,y=2,z=3
x=3,y=3,z=2
x=3,y=3,z=1
x=1
x=2,y=2
x=2,y=3
x=3,y=2,z=3
x=3,y=3,z=2
x=3,y=3,z=1
Эта простя корректная
система образована
ЛИБО-узлом
D с тремя
ключами на
переменной
x, выбирает одну из трёх
базовых ВС с
ключами
x.
ВС, соответствующая
узлу
D, по сути,
"объединяет"
состояния из
ВС всех подчинённых
вершин -
A,
B,
C:
x=1
x=2,y=2
x=2,y=3
x=3,y=2,z=3
x=3,y=3,z=2
x=3,y=3,z=1
Исходный код:
<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>y</key>
<state>
<atom var="x" value="2"></atom>
<atom var="y" value="2"></atom>
</state>
<state>
<atom var="x" value="2"></atom>
<atom var="y" value="3"></atom>
</state>
<parentname>D</parentname>
</node>
<node type="found" name="C">
<key>z</key>
<state>
<atom var="x" value="3"></atom>
<atom var="y" value="2"></atom>
<atom var="z" value="3"></atom>
</state>
<state>
<atom var="x" value="3"></atom>
<atom var="y" value="3"></atom>
<atom var="z" value="2"></atom>
</state>
<state>
<atom var="x" value="3"></atom>
<atom var="y" value="3"></atom>
<atom var="z" value="1"></atom>
</state>
<parentname>D</parentname>
</node>
</tree>
</node>
</tree>
</project>
Файл
|
ru/en |