public class LearnCBJ extends LearnExplained
[1]: P. Prosser, Hybrid algorithms for the constraint satisfaction problem, Computational Intelligence (93).
Created by cprudhom on 02/09/15. Project: choco.
lastExplanation, mExplainer, mModel
Constructor and Description |
---|
LearnCBJ(Model mModel,
boolean nogoodFromConflict,
boolean userFeedbackOn)
Create a Conflict-based Backjumping strategy.
|
Modifier and Type | Method and Description |
---|---|
void |
forget(Solver solver)
Forget some pieces of knowledge.
|
protected void |
identifyRefutedDecision(int nworld)
Identify the decision to reconsider, and explain its refutation in the explanation data base
|
void |
onFailure(Solver solver)
Actions to do when a failure is met.
|
getLastExplanation, onSolution, record
public LearnCBJ(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)
nworld
- index of the world to backtrack topublic void onFailure(Solver solver)
LearnExplained
onFailure
in class LearnExplained
Copyright © 2018. All rights reserved.