/** 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();
}
/** 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();
}
