ILearnFactory (org.choco-solver-choco-solver 4.10.2 API)

All Superinterfaces:

ISelf<Solver>

All Known Subinterfaces:

ISolver

All Known Implementing Classes:

Solver
```
public interface ILearnFactory
extends ISelf<Solver>
```
Interface to define how to learn during the solving process (e.g. CBJ, DBT...)

Author:

Charles Prud'Homme, Jean-Guillaume Fages

Method Summary

All Methods Instance Methods Default Methods
Modifier and Type	Method	Description
`default void`	`setLearningSignedClauses()`	Creates a learning object based on Conflict-Driven Clause-Learning (CD-CL) strategy.
`default void`	`setNoLearning()`	Indicate that no learning should be achieved during search (default configuration)

Methods inherited from interface org.chocosolver.solver.ISelf
ref

- Method Detail
  - setNoLearning
```
default void setNoLearning()
```
    Indicate that no learning should be achieved during search (default configuration)
  - setLearningSignedClauses
```
default void setLearningSignedClauses()
```
    Creates a learning object based on Conflict-Driven Clause-Learning (CD-CL) strategy. It backtracks up to the most recent decision involved in the explanation, and forget younger decisions. It also posts signed clauses learnt on failures. Some settings related to explanation can be define thanks to Settings:
    Settings.setNbMaxLearntClauses(int) Settings.setRatioForClauseStoreReduction(float) Settings.setMaxLearntClauseCardinality(int) Settings.setLearntClausesDominancePerimeter(int)