choco.cp.solver.constraints.integer.bool.sat
Class DynWLClause
java.lang.Object
choco.cp.solver.constraints.integer.bool.sat.WLClause
choco.cp.solver.constraints.integer.bool.sat.DynWLClause
public final class DynWLClause
- extends WLClause
A clause that can be added at any point in the search
Todo
Method Summary |
boolean |
learnt()
|
Methods inherited from class choco.cp.solver.constraints.integer.bool.sat.WLClause |
findLiteral, getIdx, getLits, getLitZero, getVocabulary, isEntailed, isNogood, isRegistered, isSatisfied, isSatisfied, propagate, register, setIdx, simplePropagation, size, toString, unregister, update, updateDomain |
DynWLClause
public DynWLClause(int[] ps,
Lits voc)
learnt
public boolean learnt()
- Overrides:
learnt
in class WLClause
Copyright © 2012. All Rights Reserved.