Zkr. vyh. pomocí ASS: Implementace
51/69
• Každý ASS uzel X  má přiřazeny dva atributy: X.t, X.f
Elementární ASS:
A
or
B
A.t := or.t
A.f := L
B.t := or.t
B.f := or.f
or.t
or.f
L:
A
and
B
A.t := L
A.f := and.f
B.t := and.t
B.f := and.f
and.t
and.f
L:
not
A
A.t := not.f
A.f := not.t
not.t
not.f
1)
2)
3)
• Pozn.: L = nové návěští
• Initializace: Nechť R je kořen ASS. Potom:
R.t := True, R.f  := False (True & False jsou návěští)
• Šíření hodnot atributů: Atributy jsou šířeny z kořene do listů použitím pravidel 1), 2) a 3).
• Pozn.: L = nové návěští