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.9

Author:

Radoslaw Szymanek

Field Summary

Fields inherited from class org.jacop.examples.fd.ExampleFD

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
Sudoku()

Method Summary

Modifier and Type	Method and Description
static void	main(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(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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Sudoku

public Sudoku()

Method Detail

model

public void model()

Description copied from class: ExampleFD

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleFD

modelBasic

public void modelBasic()

It specifies the model using mostly primitive constraints.

main

public static void main(String[] args)

It specifies the main executable function creating a model for a particular Sudoku.

Parameters:

args - not used.

test

public static void test(String[] args)

It specifies the testing function creating a model for a particular Sudoku.

Parameters:

args - not used.