org.sat4j.minisat.core
Interface Propagatable

All Known Subinterfaces:

Constr, IWatchPb, PBConstr

All Known Implementing Classes:

AtLeast, AtLeastPB, BinaryClause, HTClause, LearntBinaryClause, LearntBinaryClausePB, LearntHTClause, LearntHTClausePB, LearntWLClause, MaxWatchCard, MaxWatchPb, MaxWatchPbLong, MaxWatchPbLongCP, MinWatchCard, MinWatchCardPB, MinWatchPb, MinWatchPbLong, MinWatchPbLongCP, MinWatchPbLongLimit, OriginalBinaryClause, OriginalBinaryClausePB, OriginalHTClause, OriginalHTClausePB, OriginalWLClause, PuebloMinWatchPb, UnitClause, UnitClausePB, UnitClauses, UnitClausesPB, WatchPb, WatchPbLong, WatchPbLongCP, WLClause

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.