public class LearnSignedClauses<E extends ExplanationForSignedClause> extends Object implements Learn
The algorithm is based on :
"A Proof-Producing CSP Solver", M.Vesler and O.Strichman, AAI'10.
Project: choco-solver.
Constructor and Description |
---|
LearnSignedClauses(Solver solver)
Build a learned able to learn signed clauses on conflicts and solutions.
|
Modifier and Type | Method and Description |
---|---|
void |
forget(Solver solver)
Forget some pieces of knowledge.
|
E |
getExplanation() |
protected void |
onSolution() |
void |
record(Solver solver)
Validate and record a new piece of knowledge, that is, the current position is a dead-end.
|
void |
setExplanation(E explanation) |
public LearnSignedClauses(Solver solver)
solver
- the solver to exploitpublic void setExplanation(E explanation)
public E getExplanation()
public void record(Solver solver)
Learn
public void forget(Solver solver)
Learn
protected void onSolution()
Copyright © 2018. All rights reserved.