Class InputOrderSelect<T extends Var>

  • Type Parameters:
    T - type of variable being used in the search.
    All Implemented Interfaces:
    SelectChoicePoint<T>

    public class InputOrderSelect<T extends Var>
    extends java.lang.Object
    implements SelectChoicePoint<T>
    It is simple input order selector of variables.
    Version:
    4.8
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) TimeStamp<java.lang.Integer> currentIndex  
      (package private) static boolean debugAll  
      java.util.Map<T,​java.lang.Integer> position
      It stores the original positions of variables to be used for input order tie-breaking.
      (package private) T[] searchVariables  
      (package private) Indomain<T> valueOrdering  
    • Constructor Summary

      Constructors 
      Constructor Description
      InputOrderSelect​(Store store, T[] variables, Indomain<T> indomain)
      It constructs an input order selection procedure.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      PrimitiveConstraint getChoiceConstraint​(int index)
      It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
      int getChoiceValue()
      It returns a value which is the base of the next choice point.
      T getChoiceVariable​(int index)
      It returns the variable which is the base on the next choice point.
      int getIndex()
      It returns the current index.
      java.util.Map<T,​java.lang.Integer> getVariablesMapping()
      It returns the variables for which assignment in the solution is given.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • searchVariables

        T extends Var[] searchVariables
      • currentIndex

        TimeStamp<java.lang.Integer> currentIndex
      • position

        public java.util.Map<T extends Var,​java.lang.Integer> position
        It stores the original positions of variables to be used for input order tie-breaking.
    • Constructor Detail

      • InputOrderSelect

        public InputOrderSelect​(Store store,
                                T[] variables,
                                Indomain<T> indomain)
        It constructs an input order selection procedure.
        Parameters:
        store - a constraint store in which variables resides.
        variables - a list of variables which must be assigned a value by search.
        indomain - the indomain heuristic for assigning values to variables.
    • Method Detail

      • getChoiceVariable

        public T getChoiceVariable​(int index)
        It returns the variable which is the base on the next choice point. Only if choice is of an X = C type. This function returns null if all variables have a value assigned or a choice point based on other type of constraint is being selected. The parameter index is the last variable which have been return by this SelectChoicePoint object which has not been backtracked upon yet.
        Specified by:
        getChoiceVariable in interface SelectChoicePoint<T extends Var>
        Parameters:
        index - the position of the last variable in selection choice point heuristic.
        Returns:
        variable based on which the choice needs to be created.
      • getChoiceValue

        public int getChoiceValue()
        It returns a value which is the base of the next choice point. Only if choice is of an X = C type.
        Specified by:
        getChoiceValue in interface SelectChoicePoint<T extends Var>
        Returns:
        value used in the choice point (value).
      • getChoiceConstraint

        public PrimitiveConstraint getChoiceConstraint​(int index)
        It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
        Specified by:
        getChoiceConstraint in interface SelectChoicePoint<T extends Var>
        Parameters:
        index - the position of the last variable returned by selection choice point heuristic.
        Returns:
        primitive constraint which is a base of a choice point.
      • getVariablesMapping

        public java.util.Map<T,​java.lang.Integer> getVariablesMapping()
        It returns the variables for which assignment in the solution is given.
        Specified by:
        getVariablesMapping in interface SelectChoicePoint<T extends Var>
        Returns:
        mapping of variables to the positions in the variables array.
      • getIndex

        public int getIndex()
        It returns the current index. Supplying this value in the next invocation of select will make search for next variable faster without comprimising efficiency.
        Specified by:
        getIndex in interface SelectChoicePoint<T extends Var>
        Returns:
        internal position of the last variable chosen to be the base of the choice point.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object