def __init__(self):
AIPlayer.__init__(self, 'A-Star', 0)
def __init__(self):
AIPlayer.__init__(self, 'Depth First Search', 0)
def __init__(self):
AIPlayer.__init__(self, 'Breadth First Search', 0)
self.nodes_expanded_ = 0