org.sat4j.pb.constraints
Interface IClauseConstructor

All Known Implementing Classes:

UnitBinaryHTClauseConstructor, UnitBinaryHTClausePBConstructor, UnitBinaryWLClauseConstructor

public interface IClauseConstructor

Method Summary

Constr	constructClause(UnitPropagationListener solver, ILits voc, IVecInt v)
Constr	constructLearntClause(ILits voc, IVecInt literals)

Method Detail

constructClause

Constr constructClause(UnitPropagationListener solver,
                       ILits voc,
                       IVecInt v)

constructLearntClause

Constr constructLearntClause(ILits voc,
                             IVecInt literals)