ExamplesJaCoP
Class Sudoku

java.lang.Object
  ExamplesJaCoP.Example
      ExamplesJaCoP.Sudoku

public class Sudoku
extends Example

Version:

3.0

Author:

Radoslaw Szymanek

Field Summary

Fields inherited from class ExamplesJaCoP.Example

cost, search, store, vars

Constructor Summary

Sudoku()

Method Summary

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 ExamplesJaCoP.Example

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

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

Constructor Detail

Sudoku

public Sudoku()

Method Detail

model

public void model()

Description copied from class: Example

It specifies a standard way of modeling the problem.

Specified by:

model in class Example

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.