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.