org.sat4j.minisat.core
Interface Propagatable

All Known Subinterfaces:

Constr, PBConstr

All Known Implementing Classes:

AtLeast, AtLeastPB, BinaryClauses, CBClause, DefaultWLClause, LearntWLClause, MaxWatchCard, MaxWatchPb, MinWatchCard, MinWatchCardPB, MinWatchPb, MixableCBClause, MixableCBClausePB, OriginalWLClause, 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.