Modifier and Type | Method and Description |
---|---|
default void |
setCBJLearning(boolean nogoodsOn,
boolean userFeedbackOn)
Creates a learning object based on Conflict-based Backjumping (CBJ) explanation strategy.
|
default void |
setDBTLearning(boolean nogoodsOn,
boolean userFeedbackOn)
Creates a learning object based on Dynamic Backjumping (DBT) explanation strategy.
|
default void |
setNoLearning()
Indicate that no learning should be achieved during search (default configuration)
|
default void setNoLearning()
default void setCBJLearning(boolean nogoodsOn, boolean userFeedbackOn)
nogoodsOn
- set to true to extract nogoods from failuresuserFeedbackOn
- set to true to record the propagation in conflict
(only relevant when one wants to interpret the explanation of a failure).default void setDBTLearning(boolean nogoodsOn, boolean userFeedbackOn)
nogoodsOn
- set to true to extract nogoods from failuresuserFeedbackOn
- set to true to record the propagation in conflict
(only relevant when one wants to interpret the explanation of a failure).Copyright © 2018. All rights reserved.