org.jacop.examples.fd

Class GeostExample

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.GeostExample

public class GeostExample
extends ExampleFD

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

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
GeostExample()

Method Summary

Modifier and Type	Method and Description
static void	main(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 org.jacop.examples.fd.ExampleFD

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

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

Constructor Detail

GeostExample

public GeostExample()

Method Detail

main

public static void main(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: ExampleFD

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleFD

search

public boolean search()

Description copied from class: ExampleFD

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

Overrides:

search in class ExampleFD

Returns:

true if there is a solution, false otherwise.