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.
      boolean record​(Solver solver)
      Validate and record a new piece of knowledge, that is, the current position is a dead-end.
    • Method Detail

      • record

        boolean record​(Solver solver)
        Validate and record a new piece of knowledge, that is, the current position is a dead-end.
        Returns:
        true if something is learned (one or more clauses)
      • forget

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