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
---
 src/jrummikub/ai/fdsolver/SolverMain.java | 42 -------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 src/jrummikub/ai/fdsolver/SolverMain.java

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

diff --git a/src/jrummikub/ai/fdsolver/SolverMain.java b/src/jrummikub/ai/fdsolver/SolverMain.java
deleted file mode 100644
index 4750675..0000000
--- a/src/jrummikub/ai/fdsolver/SolverMain.java
+++ /dev/null
@@ -1,42 +0,0 @@
-package jrummikub.ai.fdsolver;
-
-
-public class SolverMain {
-
-	/*
-	 * eingabe: liste handsteinen + liste tischsteinen
-	 * 
-	 * foreach stein: stein id (durchlaufend nummeriert) Var<Boolean> onTable =
-	 * tisch ? {true}, {true, false} Var<Integer> value = {N} Var<StoneColor>
-	 * color = {C} Var<Integer> nachbarL,R = {-1, 0...steinanzahl} Var<Boolean>
-	 * groupOrRun
-	 * 
-	 * nachbarR != -1 => nachbarL[nachbarR[id]] == id nachbarL != -1 =>
-	 * nachbarR[nachbarL[id]] == id
-	 * 
-	 * nachbarR != -1 => gOR[nachbarR[id]] = gOR nachbarL != -1 =>
-	 * gOR[nachbarL[id]] = gOR
-	 * 
-	 * nachbar{R,L} != -1 => group <=> value[{R,L}] == value nachbar{R,L} != -1
-	 * && group => color[{R,L}] {<,>} color // hier auch <=> ?
-	 * 
-	 * nachbar{R,L} != -1 => run <=> color[{R,L}] == color nachbar{R,L} != -1 =>
-	 * run <=> value[{R,L}] == value {+,-} 1
-	 * 
-	 * Var<Integer> pos von {links, rechts} + constraints
-	 * 
-	 * links + rechts >= 3
-	 * 
-	 * foreach handstein: Var<Integer> badness = onTable ? ### (z. B. 1) : 0
-	 * 
-	 * totalBadness = sum(all badness)
-	 * 
-	 * foreach joker: Var<Integer> value = {-1, 1..13} Var<StoneColor> color =
-	 * {F, C0..C3} onTable == false <=> value == -1 same with color
-	 * 
-	 * joker sind sortiert
-	 */
-	public static void main(String[] args) {
-	}
-
-}
-- 
cgit v1.2.3