Interface Learn

  • All Known Implementing Classes:
    LearnNothing, LearnSignedClauses

    public interface Learn
    The "Learn" component (Inspired from "Unifying search algorithms for CSP" N. Jussien and O. Lhomme, Technical report 02-3-INFO, EMN). The aim of the component is to make sure that the search mechanism will avoid (as much as possible) to get back to states that have been explored and proved to be solution-less. Created by cprudhom on 01/09/15. Project: choco.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void forget​(Solver solver)
      Forget some pieces of knowledge.
      void record​(Solver solver)
      Validate and record a new piece of knowledge, that is, the current position is a dead-end.
    • Method Detail

      • record

        void record​(Solver solver)
        Validate and record a new piece of knowledge, that is, the current position is a dead-end.
      • forget

        void forget​(Solver solver)
        Forget some pieces of knowledge.