Package 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.8
-
-
Constructor Summary
Constructors Constructor Description GeostExample()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description 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 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
-
-
-
-
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:ExampleFD
It specifies a standard way of modeling the problem.
-
-