choco.cp.solver.constraints.integer.bool.sat
Class DynWLClause

java.lang.Object
  extended by choco.cp.solver.constraints.integer.bool.sat.WLClause
      extended by 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


Field Summary
 
Fields inherited from class choco.cp.solver.constraints.integer.bool.sat.WLClause
idx, isreg, lits, nogood, propagator, voc
 
Constructor Summary
DynWLClause(int[] ps, Lits voc)
           
 
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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DynWLClause

public DynWLClause(int[] ps,
                   Lits voc)
Method Detail

learnt

public boolean learnt()
Overrides:
learnt in class WLClause


Copyright © 2012. All Rights Reserved.