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.9
  • Field Details

    • int_search_variables

      Var[] int_search_variables
    • set_search_variables

      Var[] set_search_variables
    • bool_search_variables

      Var[] 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

      Var[] getIntVars()
    • getSetVars

      Var[] getSetVars()
    • getBoolVars

      Var[] getBoolVars()
    • getFloatVars

      FloatVar[] getFloatVars()
    • toString

      public String toString()
      Overrides:
      toString in class Object