public class LearnDBT extends LearnCBJ
[1]: M.L. Ginsberg, Dynamic Backtracking, JAIR (1993).
Created by cprudhom on 02/09/15. Project: choco.
lastExplanation, mExplainer, mModel
Constructor and Description |
---|
LearnDBT(Model mModel,
boolean nogoodFromConflict,
boolean userFeedbackOn)
Create a Dynamic Backtracking strategy.
|
Modifier and Type | Method and Description |
---|---|
protected void |
identifyRefutedDecision(int nworld)
Main reason of the class
|
getLastExplanation, onSolution, record
public LearnDBT(Model mModel, boolean nogoodFromConflict, boolean userFeedbackOn)
mModel
- the solver to instrumentnogoodFromConflict
- set to true to extract nogoods from explanations.userFeedbackOn
- set to true to record causes in explanations (required for user feedback mainly).protected void identifyRefutedDecision(int nworld)
identifyRefutedDecision
in class LearnCBJ
nworld
- index of the world to backtrack toCopyright © 2018. All rights reserved.