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

java.lang.Object
  extended by choco.cp.solver.constraints.integer.bool.sat.WLClause
      extended by choco.cp.solver.constraints.integer.bool.sat.BinaryWLClause

public final class BinaryWLClause
extends WLClause

A specific class for binary clauses


Field Summary
 
Fields inherited from class choco.cp.solver.constraints.integer.bool.sat.WLClause
idx, isreg, lits, nogood, propagator, voc
 
Constructor Summary
BinaryWLClause(int[] ps, Lits voc)
           
 
Method Summary
 boolean propagate(int p, int idxcl)
          propagate the clause because one of the watched literals has changed
 void updateDomain()
           
 
Methods inherited from class choco.cp.solver.constraints.integer.bool.sat.WLClause
findLiteral, getIdx, getLits, getLitZero, getVocabulary, isEntailed, isNogood, isRegistered, isSatisfied, isSatisfied, learnt, register, setIdx, simplePropagation, size, toString, unregister, update
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BinaryWLClause

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

propagate

public boolean propagate(int p,
                         int idxcl)
                  throws ContradictionException
Description copied from class: WLClause
propagate the clause because one of the watched literals has changed

Overrides:
propagate in class WLClause
Parameters:
p - the watched literals that has just changed
idxcl - the index of the clause within the propagator
Returns:
if the literals being watche have changed
Throws:
ContradictionException

updateDomain

public void updateDomain()
                  throws ContradictionException
Overrides:
updateDomain in class WLClause
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.