Package org.jacop.fz

Class DefaultSearchVars


  • public class DefaultSearchVars
    extends java.lang.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.8
    • Field Detail

      • 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 java.util.Comparator<Var> domainSizeComparator
    • Constructor Detail

      • DefaultSearchVars

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

      • 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 java.lang.String toString()
        Overrides:
        toString in class java.lang.Object