From e06ba8ea1346e5045a34508648ac93150aacb01a Mon Sep 17 00:00:00 2001
From: Jannis Harder <harder@informatik.uni-luebeck.de>
Date: Fri, 17 Jun 2011 17:41:52 +0200
Subject: Reimplemented AI (old one was too slow)

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@443 72836036-5685-4462-b002-a69064685172
---
 .../fdsolver/constraint/ComparatorConstraint.java  | 74 ----------------------
 1 file changed, 74 deletions(-)
 delete mode 100644 src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java

(limited to 'src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java')

diff --git a/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java b/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java
deleted file mode 100644
index 019de92..0000000
--- a/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java
+++ /dev/null
@@ -1,74 +0,0 @@
-package jrummikub.ai.fdsolver.constraint;
-
-import static jrummikub.ai.fdsolver.Satisfiability.*;
-
-import java.util.Arrays;
-import java.util.Collection;
-import java.util.Collections;
-import java.util.Comparator;
-import java.util.NoSuchElementException;
-
-import jrummikub.ai.fdsolver.Constraint;
-import jrummikub.ai.fdsolver.Propagator;
-import jrummikub.ai.fdsolver.Satisfiability;
-import jrummikub.ai.fdsolver.Var;
-
-public class ComparatorConstraint<T> extends Constraint {
-	Var<T> x, y;
-	Comparator<T> comparator, reverseComparator;
-	ComparatorPropagator<T> trueX, trueY, falseX, falseY;
-	boolean allowEqual;
-
-	ComparatorConstraint(final Comparator<T> comparator, boolean allowEqual,
-			Var<T> x, Var<T> y) {
-		this.x = x;
-		this.y = y;
-		this.comparator = comparator;
-		this.allowEqual = allowEqual;
-		reverseComparator = new Comparator<T>() {
-			@Override
-			public int compare(T o1, T o2) {
-				return comparator.compare(o2, o1);
-			}
-		};
-		trueX = new ComparatorPropagator<T>(comparator, allowEqual, x, y);
-		trueY = new ComparatorPropagator<T>(reverseComparator, allowEqual, y, x);
-		falseX = new ComparatorPropagator<T>(reverseComparator, !allowEqual, x,
-				y);
-		falseY = new ComparatorPropagator<T>(comparator, !allowEqual, y, x);
-	}
-
-	@Override
-	public Collection<Var<?>> getWatchedVars() {
-		return Arrays.<Var<?>> asList(x, y);
-	}
-
-	@Override
-	public Collection<Propagator> getPropagators(boolean negate) {
-		if (negate) {
-			return Arrays.<Propagator> asList(falseX, falseY);
-		} else {
-			return Arrays.<Propagator> asList(trueX, trueY);
-		}
-	}
-
-	@Override
-	public Satisfiability getSatisfiability() {
-		try {
-			T maxX = Collections.max(x.getRange(), comparator);
-			T minY = Collections.min(y.getRange(), comparator);
-			if (comparator.compare(maxX, minY) < (allowEqual ? 1 : 0)) {
-				return TAUT;
-			}
-			T minX = Collections.min(x.getRange(), comparator);
-			T maxY = Collections.max(y.getRange(), comparator);
-			if (comparator.compare(maxY, minX) < (allowEqual ? 0 : 1)) {
-				return UNSAT;
-			}
-			return SAT;
-		} catch (NoSuchElementException e) {
-			return UNSAT;
-		}
-	}
-
-}
-- 
cgit v1.2.3