Package org.jacop.examples.fd
Class Sudoku
- java.lang.Object
-
- org.jacop.examples.fd.ExampleFD
-
- org.jacop.examples.fd.Sudoku
-
public class Sudoku extends ExampleFD
A simple model to solve Sudoku problem.- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description Sudoku()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
It specifies the main executable function creating a model for a particular Sudoku.void
model()
It specifies a standard way of modeling the problem.void
modelBasic()
It specifies the model using mostly primitive constraints.static void
test(java.lang.String[] args)
It specifies the testing function creating a model for a particular Sudoku.-
Methods inherited from class org.jacop.examples.fd.ExampleFD
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
-
-
-
-
Field Detail
-
elements
IntVar[][] elements
-
-
Method Detail
-
model
public void model()
Description copied from class:ExampleFD
It specifies a standard way of modeling the problem.
-
modelBasic
public void modelBasic()
It specifies the model using mostly primitive constraints.
-
main
public static void main(java.lang.String[] args)
It specifies the main executable function creating a model for a particular Sudoku.- Parameters:
args
- not used.
-
test
public static void test(java.lang.String[] args)
It specifies the testing function creating a model for a particular Sudoku.- Parameters:
args
- not used.
-
-