package at.ac.tuwien.dbai.alternation.examples;
import at.ac.tuwien.dbai.alternation.examples.GraphGame.Position;

atm AcyclicGeographic (Graph<Position> gameBoard,
                Graph.Node<Position> startNode)
{
    Graph.Node<Position> position=startNode;

    state Player1 {
        exists {
            for (Graph.Node<Position> node : position.getChildren()){
                Player2{
                    position=node;
                }
            }
        }
    }

    state Player2 {
        forall {
            for (Graph.Node<Position> node : position.getChildren()){
                Player1{
                    position=node;
                }
            }
        }
    }
}