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.
-