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
  • Constructor Details

    • GeostExample

      public GeostExample()
  • Method Details

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