Package org.jacop.fz

Class SearchItem

  • All Implemented Interfaces:
    ParserTreeConstants

    public class SearchItem
    extends java.lang.Object
    implements ParserTreeConstants
    The part of the parser responsible for parsing search part of the flatzinc specification.
    Version:
    4.7
    • Field Detail

      • dictionary

        Tables dictionary
      • search_seq

        java.util.ArrayList<SearchItem> search_seq
      • search_variables

        Var[] search_variables
      • search_type

        java.lang.String search_type
      • explore

        java.lang.String explore
      • indomain

        java.lang.String indomain
      • var_selection_heuristic

        java.lang.String var_selection_heuristic
      • floatSearch

        boolean floatSearch
      • precision

        double precision
      • ldsValue

        int ldsValue
      • creditValue

        int creditValue
      • bbsValue

        int bbsValue
      • prioritySearch

        boolean prioritySearch
    • Constructor Detail

      • SearchItem

        public SearchItem​(Store store,
                          Tables table)
        It constructs search part parsing object based on dictionaries provided as well as store object within which the search will take place.
        Parameters:
        store - the finite domain store within which the search will take place.
        table - the holder of all the objects present in the flatzinc file.