org.sat4j.minisat.core
Interface Propagatable

All Known Subinterfaces:
Constr, PBConstr
All Known Implementing Classes:
AtLeast, AtLeastPB, BinaryClauses, CBClause, MaxWatchCard, MaxWatchPb, MinWatchCard, MinWatchCardPB, MinWatchPb, MixableCBClause, MixableCBClausePB, PuebloMinWatchPb, TernaryClauses, WatchPb, WLClause, WLClausePB

public interface Propagatable

This interface is to be implemented by the classes wanted to be notified of the falsification of a literal.

Author:
leberre

Method Summary
 boolean propagate(UnitPropagationListener s, int p)
          Propagate the truth value of a literal in constraints in which that literal is falsified.
 

Method Detail

propagate

boolean propagate(UnitPropagationListener s,
                  int p)
Propagate the truth value of a literal in constraints in which that literal is falsified.

Parameters:
s - something able to perform unit propagation
p - the literal being propagated. Its negation must appear in the constraint.
Returns:
false iff an inconsistency (a contradiction) is detected.