Class QCP

java.lang.Object
org.jacop.examples.fd.ExampleFD
org.jacop.examples.fd.qcp.QCP

public class QCP extends ExampleFD
It solves QuasiGroup Completion Problem (QCP).
Version:
4.10
  • Field Details

    • filename

      public String filename
      It specifies the file containing the description of the problem.
    • shavingConstraints

      public List<Constraint> shavingConstraints
      It contains constraints which can be used to guide shaving.
    • n

      public int n
      It contains the order of the QCP being solved.
  • Constructor Details

    • QCP

      public QCP()
  • Method Details

    • model

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

      public boolean searchWithShaving()
      It performs search with shaving guided by constraints.
      Returns:
      true if there is a solution, false otherwise.
    • searchAllTransform

      public boolean searchAllTransform()
      It transforms part of the problem into an extensional costraint to improve propagation and search process.
      Returns:
      true if there is a solution, false otherwise.
    • test

      public static void test(String[] args)
      It executes the program which solves the QCP in multiple different ways.
      Parameters:
      args - the first argument is the name of the file containing the problem.
    • main

      public static void main(String[] args)
      It executes the program which solves the QCP in multiple different ways.
      Parameters:
      args - the first argument is the name of the file containing the problem.