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

user:wuerfel0=spielleitung.getWuerfel(0)
user:wuerfel0.wuerfeln()
user:wuerfel1=spielleitung.getWuerfel(1)
user:wuerfel1.wuerfeln()
user:spielleitung[a].auswerten()
spielleitung[a]:true/false=spielleitung[b].gewinnwurf()
spielleitung[b]:augenzahl=wuerfel0.getWurf()
spielleitung[b]:augenzahl=wuerfel1.getWurf()
[c falls Gewinnwurf, für jeden Spieler]
spielleitung[a]:true/false=spieler.getShooter()
spielleitung[a]:spieler.gewonnen/verloren()
[/c]
spielleitung[a]:true/false=spielleitung[c].verlustwurf()
spielleitung[c]:augenzahl=wuerfel0.getWurf()
spielleitung[c]:augenzahl=wuerfel1.getWurf()
[c falls Verlustwurf, für jeden Spieler]
spielleitung[a]:true/false=spieler.getShooter()
spielleitung[a]:spieler.verloren/gewonnen()
[/c]
[c falls Point noch nicht feststeht]
spielleitung:augenzahl=wuerfel0.getWurf()
spielleitung:augenzahl=wuerfel1.getWurf()
[/c]



