ExamplesJaCoP
Class GeostExample

java.lang.Object
  ExamplesJaCoP.Example
      ExamplesJaCoP.GeostExample

public class GeostExample
extends Example

It specifies an example where squares of the given size must be placed within a square of a given size.

Version:

3.0

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields inherited from class ExamplesJaCoP.Example

cost, search, store

Constructor Summary

GeostExample()

Method Summary

static void	main(java.lang.String[] args) It specifies and runs a very simple Geost example.
void	model() It specifies a standard way of modeling the problem.
boolean	search() It specifies simple search method based on input order and lexigraphical ordering of values.

Methods inherited from class ExamplesJaCoP.Example

creditSearch, getSearch, getSearchVariables, getStore, printMatrix, 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

GeostExample

public GeostExample()

Method Detail

main

public static void main(java.lang.String[] args)

It specifies and runs a very simple Geost example. It is just to present how Geost constraint can be created and imposed to store.

Parameters:

args - no parameters read.

model

public void model()

Description copied from class: Example

It specifies a standard way of modeling the problem.

Specified by:

model in class Example

search

public boolean search()

Description copied from class: Example

It specifies simple search method based on input order and lexigraphical ordering of values.

Overrides:

search in class Example

Returns:

true if there is a solution, false otherwise.