Class Steiner

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

public class Steiner extends ExampleSet
It models and solves Steiner problem.
Version:
4.10
  • Field Details

    • n

      public int n
      It specifies the length of the problem.
  • Constructor Details

    • Steiner

      public Steiner()
  • Method Details

    • main

      public static void main(String[] args)
      It executes the program which solves this Steiner problem.
      Parameters:
      args - prameters (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.