public class Nonogram extends ExampleFD
Modifier and Type | Field and Description |
---|---|
int |
black
The value that represents a black dot.
|
IntVar[][] |
board
A board to be painted in white/black dots.
|
int[][] |
col_rules
It specifies a rule for each column.
|
boolean |
extensionalMDD
It specifies if one extensional constraint based on MDD created from FSM
should be used.
|
boolean |
regular
It specifies if the regular constraint should be used.
|
int[][] |
row_rules
It specifies a rule for each row.
|
boolean |
slideDecomposition
It specifies if the slide based decomposition of the regular constraint
should be applied.
|
int |
white
The value that represents a white dot.
|
Constructor and Description |
---|
Nonogram() |
Modifier and Type | Method and Description |
---|---|
FSM |
createAutomaton(int[] sequence)
It produces and FSM given a sequence representing a rule.
|
static void |
main(String[] args)
It executes the program which solves this simple problem.
|
void |
model()
It specifies a standard way of modeling the problem.
|
void |
printMatrix(IntVar[][] matrix)
It prints a matrix of variables.
|
void |
readFromFile(String filename) |
boolean |
searchAll()
It specifies simple search method based on most constrained static and lexigraphical
ordering of values.
|
static void |
test(String[] args)
It executes the program which solves this simple problem.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public int black
public int white
public IntVar[][] board
public boolean slideDecomposition
public boolean regular
public boolean extensionalMDD
public int[][] row_rules
public int[][] col_rules
public void readFromFile(String filename)
public FSM createAutomaton(int[] sequence)
sequence
- a sequence representing a rule. e.g. [2, 3]public void model()
ExampleFD
public boolean searchAll()
public void printMatrix(IntVar[][] matrix)
matrix
- matrix containing the grounded variables.public static void main(String[] args)
args
- no arguments are read.public static void test(String[] args)
args
- no arguments are read.Copyright © 2022. All rights reserved.