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

Field Summary

Fields

Modifier and Type

Field

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

Description

Queens()
Method Summary

Modifier and Type

Method

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 Details
- numberQ
  
  public int numberQ
  
  It specifies the size of chessboard to be used in the model.
Constructor Details
- Queens
  
  public Queens()
Method Details
- 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.