X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FTTT%2FBoard.java;fp=Robust%2Fsrc%2FBenchmarks%2FTTT%2FBoard.java;h=0000000000000000000000000000000000000000;hp=8f4a3d889567d2a598e9bfdbea60aaff8d12fa65;hb=refs%2Ftags%2Fbuildscript;hpb=bae799f54777dbf7bf3f222c61aeeb72b4b11c85

diff --git a/Robust/src/Benchmarks/TTT/Board.java b/Robust/src/Benchmarks/TTT/Board.java
deleted file mode 100644
index 8f4a3d88..00000000
--- a/Robust/src/Benchmarks/TTT/Board.java
+++ /dev/null
@@ -1,93 +0,0 @@
-public class Board {
-	// TicTacToe Board flags
-	flag init;
-	
-	int[][] board;
-	
-	int winningplayer;
-	
-	public Board()	{
-		winningplayer = -1;
-		board = new int[3][3];
-		for (int i = 0; i < 3; i++)
-			for (int j = 0; j < 3; j++)
-				board[i][j] = 0;
-	}
-	
-	public int makeMove(int row, int col) {
-		if (boardFull() == 1) {
-			winningplayer = 0;
-			return 2;
-		}
-		if (board[row][col] != 0) { // Space taken
-			return -1;
-		}
-		else {
-			board[row][col] = 1;
-			if (checkForWin(1) == 1) { // Check if player won
-				winningplayer = 1;
-				return 2;
-			}
-			// Computer makes move
-			if (computerMakeMove() == 1) { // If made move successful
-				if (checkForWin(2) == 1) { // Check if computer won
-					winningplayer = 2;
-					return 2;
-				}
-			}
-			else { // Board full, no winner
-				winningplayer = 0;
-				return 2;
-			}
-		}
-		return 1;
-	}
-
-	public int boardFull() {
-		for (int i = 0; i < 3; i++)
-			for (int j = 0; j < 3; j++)
-				if (board[i][j] == 0)
-					return 0;
-		return 1;
-	}
-	
-	public int computerMakeMove() {
-		for (int i = 0; i < 3; i++)
-			for (int j = 0; j < 3; j++)
-				if (board[i][j] == 0) {
-					board[i][j] = 2;
-					return 1;
-				}
-		return 0;	
-	}
-	
-	public int checkForWin(int p) {
-		// Add logic for checking if player p wins
-		// Horiz
-
-		if ((board[0][0] == p) && (board[0][1] == p) && (board[0][2] == p) ||
-			(board[1][0] == p) && (board[1][1] == p) && (board[1][2] == p) ||
-			(board[2][0] == p) && (board[2][1] == p) && (board[2][2] == p)) {
-				return 1;
-		}
-		
-		// Vert
-		if ((board[0][0] == p) && (board[1][0] == p) && (board[2][0] == p) ||
-			(board[0][1] == p) && (board[1][1] == p) && (board[2][1] == p) ||
-			(board[0][2] == p) && (board[1][2] == p) && (board[2][2] == p)) {
-				return 1;
-		}
-		
-		//Diag
-		if ((board[0][0] == p) && (board[1][1] == p) && (board[2][2] == p) ||
-			(board[0][2] == p) && (board[1][1] == p) && (board[2][0] == p)) {
-			return 1;
-		}
-				
-		return 0;
-	}
-	
-	public int winner() {
-		return winningplayer;
-	}
-}