org.sat4j.minisat.core
Interface Propagatable

All Known Subinterfaces:

Constr

All Known Implementing Classes:

AtLeast, BinaryClause, BinaryClauses, CBClause, HTClause, LearntBinaryClause, LearntHTClause, MinWatchCard, MixableCBClause, OriginalBinaryClause, OriginalHTClause, TernaryClauses, UnitClause

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.