public interface IClauseConstructor
Modifier and Type | Method and Description |
---|---|
Constr |
constructClause(UnitPropagationListener solver,
ILits voc,
IVecInt v) |
Constr |
constructLearntClause(ILits voc,
IVecInt literals) |