org.jacop.examples.fd

Class Queens

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.Queens

public class Queens
extends ExampleFD

It models the queens problem in different ways as well as applies different search methods.

Version:

4.9

Author:

Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
int	numberQ It specifies the size of chessboard to be used in the model.

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
Queens()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It executes different models and search methods to solve Queens problem.
void	model() It specifies a standard way of modeling the problem.
void	modelBasic() This model uses only primitive constraints.
void	modelChanneling() This model uses dual model to solve Queens problems.
static void	test(String[] args) It executes different models and search methods to solve Queens problem.

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

Field Detail

numberQ

public int numberQ

It specifies the size of chessboard to be used in the model.

Constructor Detail

Queens

public Queens()

Method Detail

modelBasic

public void modelBasic()

This model uses only primitive constraints.

modelChanneling

public void modelChanneling()

This model uses dual model to solve Queens problems.

model

public void model()

Description copied from class: ExampleFD

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleFD

main

public static void main(String[] args)

It executes different models and search methods to solve Queens problem.

Parameters:

args - first argument specifies the size of the chessboard.

test

public static void test(String[] args)

It executes different models and search methods to solve Queens problem.

Parameters:

args - first argument specifies the size of the chessboard.