org.sat4j.minisat.core
Interface UnitPropagationListener

All Known Implementing Classes:

PBSolver, PBSolverClause, PBSolverMerging, PBSolverWithImpliedClause, Solver

public interface UnitPropagationListener

Interface providing the unit propagation capability.

Author:

leberre

Method Summary

boolean	enqueue(int p) satisfies a literal
boolean	enqueue(int p, Constr from) satisfies a literal

Method Detail

enqueue

boolean enqueue(int p)

satisfies a literal

Parameters:

p - a literal

Returns:

true if the assignment looks possible, false if a conflict occurs.

enqueue

boolean enqueue(int p,
                Constr from)

satisfies a literal

Parameters:

p - a literal

from - a reason explaining why p should be satisfied.

Returns:

true if the assignment looks possible, false if a conflict occurs.