public void updateDomains(Tile t1, Tile t2){
        int n = t1.domain.size();
        for(int value:t1.domain.domain){
            t1.setValue(value);
            for(int t2.x = 0; t2.x < size; t2.x++) {
                for (int t2.y = 0; t2.y < size; t2.y++) {
                    if (t2.x != t1.x || t2.y != t1.y) {
                        for (int k = 1; k < n; k++) {
                            t1.setValue(k);
                            if (!con.checkconsistency(t1, t2))
                                t1.domain.deleteElement(k);
                        }
                    }
                }
            }
            t1.setValue(null);
            t2.setValue(null);
            if(n == 0)
                t2.domain.deleteElement(value);

        }

    }