Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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) {
- if (!con.checkconsistency(t1, t2))
- t1.domain.deleteElement(k);
- }
- }
- }
- }
- t1.setValue(null);
- t2.setValue(null);
- if(n == 0)
- t2.domain.deleteElement(value);
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement