org.sat4j.pb.constraints

Interface IClauseConstructor

All Known Implementing Classes:

UnitBinaryHTClauseConstructor, UnitBinaryHTClausePBConstructor, UnitBinaryWLClauseConstructor

public interface IClauseConstructor

Method Summary

Methods

Modifier and Type	Method and Description
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)