Package org.jacop.fz

Class DefaultSearchVars

java.lang.Object
org.jacop.fz.DefaultSearchVars

public class DefaultSearchVars extends Object
The class gathers variables and array variables for default or complementary search. Two methods are supported. One gathers all output variables and the second one all non-introduced variables and arrays.
Version:
4.10
  • Field Details

    • int_search_variables

      IntVar[] int_search_variables
    • set_search_variables

      SetVar[] set_search_variables
    • bool_search_variables

      BooleanVar[] bool_search_variables
    • float_search_variables

      FloatVar[] float_search_variables
    • dictionary

      Tables dictionary
    • domainSizeComparator

      private Comparator<Var> domainSizeComparator
  • Constructor Details

    • DefaultSearchVars

      public DefaultSearchVars(Tables dict)
      It constructs the class for collecting default and complementary search variables.
      Parameters:
      dict - tables with model variables.
  • Method Details

    • outputVars

      void outputVars()
      It collects all output variables for search.
    • defaultVars

      void defaultVars()
      It collects all variables that were identified as search variables by VariablesParameters class during parsing variable definitions.
    • getIntVars

      IntVar[] getIntVars()
    • getSetVars

      SetVar[] getSetVars()
    • getBoolVars

      BooleanVar[] getBoolVars()
    • getFloatVars

      FloatVar[] getFloatVars()
    • toString

      public String toString()
      Overrides:
      toString in class Object