/** Copies data from that (the player's real board) to the local board. */ public void copyDataFrom(Board that) { board.copyDataFrom(that); fancyHashes[board.getTurn()] = board.getFancyHash(); }