Interface ILearnFactory
-
-
Method Summary
All Methods Instance Methods Default Methods Deprecated Methods Modifier and Type Method Description default void
setCBJLearning(boolean nogoodsOn, boolean userFeedbackOn)
Deprecated.does nothing, will be removed in next versiondefault void
setDBTLearning(boolean nogoodsOn, boolean userFeedbackOn)
Deprecated.does nothing, will be removed in next versiondefault 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)
-
-
-
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 toSettings
:
-
setCBJLearning
@Deprecated default void setCBJLearning(boolean nogoodsOn, boolean userFeedbackOn)
Deprecated.does nothing, will be removed in next version
-
setDBTLearning
@Deprecated default void setDBTLearning(boolean nogoodsOn, boolean userFeedbackOn)
Deprecated.does nothing, will be removed in next version
-
-