Class LearnNothing

  • All Implemented Interfaces:
    Learn

    public class LearnNothing
    extends Object
    implements Learn
    Created by cprudhom on 02/09/15. Project: choco.
    • Constructor Detail

      • LearnNothing

        public LearnNothing()
    • Method Detail

      • record

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

        public void forget​(Solver solver)
        Description copied from interface: Learn
        Forget some pieces of knowledge.
        Specified by:
        forget in interface Learn