Class TransformExtensional

java.lang.Object
org.jacop.search.TransformExtensional
All Implemented Interfaces:
InitializeListener

public class TransformExtensional extends 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 Details

    • initializeChildListeners

      InitializeListener[] initializeChildListeners
    • variablesTransformationScope

      public 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.
    • debug

      static final boolean debug
      See Also:
  • Constructor Details

    • TransformExtensional

      public TransformExtensional()
  • Method Details