public void ArmyExit(ArmyCounter army) { m_army = null; }
public void ArmyEnter(ArmyCounter army) { m_army = army; }