private void computeHashCode() { hashcode = puzzle.hashCode(); for (int i = 0; i < varPos.length; i++) hashcode = 31 * hashcode + varPos[i]; }