user:Benutzer[a]
spielleitung:Spielleitung
wuerfel0:Wuerfel
wuerfel1:Wuerfel
spieler0:Spieler
spieler1:Spieler

user:spielleitung[a].auswerten()
spielleitung[a]:spielleitung[b].gewinnwurf()
spielleitung[b]:wuerfel0.getWurf()
spielleitung[b]:wuerfel1.getWurf()
[c falls gewinnwurf wahr]
spielleitung[a]:spieler0.gewonnen()
spielleitung[a]:spieler1.verloren()
[/c]
spielleitung:spielleitung[b].verlustwurf()
spielleitung[b]:wuerfel0.getWurf()
spielleitung[b]:wuerfel1.getWurf()
[c falls verlustwurf wahr]
spielleitung[a]:spieler0.verloren()
spielleitung[a]:spieler1.gewonnen()
[/c]
[c falls noch kein Point festgelegt]
spielleitung[a]:wuerfel0.getWurf()
spielleitung[a]:wuerfel1.getWurf()
[/c]


