org.sat4j.minisat.core
Interface Propagatable

All Known Subinterfaces:
Constr
All Known Implementing Classes:
AtLeast, BinaryClause, HTClause, LearntBinaryClause, LearntHTClause, LearntWLClause, MaxWatchCard, MinWatchCard, OriginalBinaryClause, OriginalHTClause, OriginalWLClause, UnitClause, UnitClauses, 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.


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.