public interface UnitPropagationListener
UnitClauseProvider
.Modifier and Type | Method and Description |
---|---|
boolean |
enqueue(int p)
satisfies a literal
|
boolean |
enqueue(int p,
Constr from)
satisfies a literal
|
void |
unset(int p)
Unset a unit clause.
|
boolean enqueue(int p)
p
- a literalboolean enqueue(int p, Constr from)
p
- a literalfrom
- a reason explaining why p should be satisfied.void unset(int p)
p
-