public interface UnitPropagationListener
UnitClauseProvider
.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
- Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.