Class TransformExtensional

  • All Implemented Interfaces:
    InitializeListener

    public class TransformExtensional
    extends java.lang.Object
    implements InitializeListener
    It defines an intialize listener which transforms part of the problem into an extensional constraint by searching for all partial solutions given the scope of the variables of interest.
    Version:
    4.8
    • Field Detail

      • variablesTransformationScope

        public java.util.List<IntVar> variablesTransformationScope
        It contains all the information which will become variables in the scope of the extensional constraint produced by this search listener.
      • solutionLimit

        public int solutionLimit
        The limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation.
    • Constructor Detail

      • TransformExtensional

        public TransformExtensional()