Class Gardner

java.lang.Object
org.jacop.examples.set.ExampleSet
org.jacop.examples.set.Gardner

public class Gardner extends ExampleSet
It specifies a simple Gardner problem which use set functionality from JaCoP.
Version:
4.8
  • Constructor Details

    • Gardner

      public Gardner()
  • Method Details

    • main

      public static void main(String[] args)
      It executes the program which solves this gardner problem.
      Parameters:
      args - parameters (none)
    • model

      public void model()
      Description copied from class: ExampleSet
      It specifies a standard way of modeling the problem.
      Specified by:
      model in class ExampleSet
    • search

      public boolean search()
      Description copied from class: ExampleSet
      It specifies simple search method based on input order and lexigraphical ordering of values.
      Overrides:
      search in class ExampleSet
      Returns:
      true if there is a solution, false otherwise.