public class MineSweeper extends ExampleFD
Modifier and Type | Field and Description |
---|---|
static String[] |
problem_kaye_splitter
One of the possible MineSweeper problems.
|
static String[] |
problem1
One of the possible MineSweeper problems.
|
static String[] |
problem10
One of the possible MineSweeper problems.
|
static String[] |
problem2
One of the possible MineSweeper problems.
|
static String[] |
problem3
One of the possible MineSweeper problems.
|
static String[] |
problem4
One of the possible MineSweeper problems.
|
static String[] |
problem5
One of the possible MineSweeper problems.
|
static String[] |
problem6
One of the possible MineSweeper problems.
|
static String[] |
problem7
One of the possible MineSweeper problems.
|
static String[] |
problem8
One of the possible MineSweeper problems.
|
static String[] |
problem9
One of the possible MineSweeper problems.
|
static String[][] |
problems
The collection of MineSweeper problems.
|
static String[] |
problemTest
One of the possible MineSweeper problems.
|
static int |
X
It represents the unknown value in the problem matrix.
|
Constructor and Description |
---|
MineSweeper() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args)
It executes the program to solve any MineSweeper problem.
|
void |
model()
It specifies a standard way of modeling the problem.
|
static int[][] |
readFile(String file)
Reads a minesweeper file.
|
static int[][] |
readFromArray(String[] description)
It transforms string representation of the problem into an array of ints
representation.
|
void |
searchSpecific(boolean recordSolutions)
It executes special search with solution printing to present the solutions.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public static int X
public static String[] problem1
public static String[] problem2
public static String[] problem3
public static String[] problem4
public static String[] problem5
public static String[] problem6
public static String[] problem7
public static String[] problem8
public static String[] problem9
public static String[] problem10
public static String[] problemTest
public static String[] problem_kaye_splitter
public static String[][] problems
public void model()
ExampleFD
public void searchSpecific(boolean recordSolutions)
recordSolutions
- specifies if the solutions should be recorded.public static int[][] readFromArray(String[] description)
description
- array of strings representing the problem.public static int[][] readFile(String file)
file
- it specifies the filename containing the problem description.public static void main(String[] args)
args
- the filename containing the problem description.Copyright © 2015. All rights reserved.