Class DefaultPhaseParameters


  • public class DefaultPhaseParameters
    extends java.lang.Object
    This struct holds all parameters for the default search.
    DefaultPhaseParameters is only used by Solver::MakeDefaultPhase methods.
    Note this is for advanced users only.
    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
      • CHOOSE_MAX_SUM_IMPACT

        public static final int CHOOSE_MAX_SUM_IMPACT
      • CHOOSE_MAX_AVERAGE_IMPACT

        public static final int CHOOSE_MAX_AVERAGE_IMPACT
      • CHOOSE_MAX_VALUE_IMPACT

        public static final int CHOOSE_MAX_VALUE_IMPACT
      • SELECT_MIN_IMPACT

        public static final int SELECT_MIN_IMPACT
      • SELECT_MAX_IMPACT

        public static final int SELECT_MAX_IMPACT
      • NONE

        public static final int NONE
      • NORMAL

        public static final int NORMAL
      • VERBOSE

        public static final int VERBOSE
    • Constructor Detail

      • DefaultPhaseParameters

        protected DefaultPhaseParameters​(long cPtr,
                                         boolean cMemoryOwn)
      • DefaultPhaseParameters

        public DefaultPhaseParameters()
    • Method Detail

      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object
      • delete

        public void delete()
      • keepAliveDecisionBuilder

        public void keepAliveDecisionBuilder​(DecisionBuilder db)
      • setVarSelectionSchema

        public void setVarSelectionSchema​(int value)
        This parameter describes how the next variable to instantiate
        will be chosen.
      • getVarSelectionSchema

        public int getVarSelectionSchema()
        This parameter describes how the next variable to instantiate
        will be chosen.
      • setValueSelectionSchema

        public void setValueSelectionSchema​(int value)
        This parameter describes which value to select for a given var.
      • getValueSelectionSchema

        public int getValueSelectionSchema()
        This parameter describes which value to select for a given var.
      • setInitializationSplits

        public void setInitializationSplits​(int value)
        Maximum number of intervals that the initialization of impacts will scan
        per variable.
      • getInitializationSplits

        public int getInitializationSplits()
        Maximum number of intervals that the initialization of impacts will scan
        per variable.
      • setRunAllHeuristics

        public void setRunAllHeuristics​(boolean value)
        The default phase will run heuristics periodically. This parameter
        indicates if we should run all heuristics, or a randomly selected
        one.
      • getRunAllHeuristics

        public boolean getRunAllHeuristics()
        The default phase will run heuristics periodically. This parameter
        indicates if we should run all heuristics, or a randomly selected
        one.
      • setHeuristicPeriod

        public void setHeuristicPeriod​(int value)
        The distance in nodes between each run of the heuristics. A
        negative or null value will mean that we will not run heuristics
        at all.
      • getHeuristicPeriod

        public int getHeuristicPeriod()
        The distance in nodes between each run of the heuristics. A
        negative or null value will mean that we will not run heuristics
        at all.
      • setHeuristicNumFailuresLimit

        public void setHeuristicNumFailuresLimit​(int value)
        The failure limit for each heuristic that we run.
      • getHeuristicNumFailuresLimit

        public int getHeuristicNumFailuresLimit()
        The failure limit for each heuristic that we run.
      • setPersistentImpact

        public void setPersistentImpact​(boolean value)
        Whether to keep the impact from the first search for other searches,
        or to recompute the impact for each new search.
      • getPersistentImpact

        public boolean getPersistentImpact()
        Whether to keep the impact from the first search for other searches,
        or to recompute the impact for each new search.
      • setRandomSeed

        public void setRandomSeed​(int value)
        Seed used to initialize the random part in some heuristics.
      • getRandomSeed

        public int getRandomSeed()
        Seed used to initialize the random part in some heuristics.
      • setDisplayLevel

        public void setDisplayLevel​(int value)
        This represents the amount of information displayed by the default search.
        NONE means no display, VERBOSE means extra information.
      • getDisplayLevel

        public int getDisplayLevel()
        This represents the amount of information displayed by the default search.
        NONE means no display, VERBOSE means extra information.
      • setUseLastConflict

        public void setUseLastConflict​(boolean value)
        Should we use last conflict method. The default is false.
      • getUseLastConflict

        public boolean getUseLastConflict()
        Should we use last conflict method. The default is false.
      • setDecisionBuilder

        public void setDecisionBuilder​(DecisionBuilder value)
        When defined, this overrides the default impact based decision builder.
      • getDecisionBuilder

        public DecisionBuilder getDecisionBuilder()
        When defined, this overrides the default impact based decision builder.