Class LastConflict<V extends Variable>

    • Field Detail

      • model

        protected Model model
        The target solver
      • active

        protected boolean active
        Set to true when this strategy is active
    • Constructor Detail

      • LastConflict

        public LastConflict​(Model model,
                            AbstractStrategy<V> mainStrategy,
                            int k)
        Creates a last conflict heuristic
        Parameters:
        model - the solver to attach this to
        mainStrategy - the main strategy declared
        k - the maximum number of conflicts to store