org.sat4j.minisat.core
Interface UnitPropagationListener

All Known Implementing Classes:
PBSolver, Solver

public interface UnitPropagationListener

Author:
leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Method Summary
 boolean enqueue(int p)
          Satisfait un litt?
 boolean enqueue(int p, Constr from)
          Satisfait un litt�ral
 

Method Detail

enqueue

boolean enqueue(int p)
Satisfait un litt?ral

Parameters:
p - le litt?ral
Returns:
true si tout se passe bien, false si un conflit appara?t.

enqueue

boolean enqueue(int p,
                Constr from)
Satisfait un litt�ral

Parameters:
p - le litt�ral
from - la raison de satisfaire le litt�ral
Returns:
true si tout se passe bien, false si un conflit appara�t.