Modifier and Type | Method and Description |
---|---|
default void |
setCBJLearning(boolean nogoodsOn,
boolean userFeedbackOn)
Deprecated.
does nothing, will be removed in next version
|
default void |
setDBTLearning(boolean nogoodsOn,
boolean userFeedbackOn)
Deprecated.
does nothing, will be removed in next version
|
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)
|
default void setNoLearning()
default void setLearningSignedClauses()
Settings
:
@Deprecated default void setCBJLearning(boolean nogoodsOn, boolean userFeedbackOn)
@Deprecated default void setDBTLearning(boolean nogoodsOn, boolean userFeedbackOn)
Copyright © 2018. All rights reserved.