Class QCP


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

      • filename

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

        public java.util.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 Detail

      • QCP

        public QCP()
    • Method Detail

      • 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​(java.lang.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​(java.lang.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.