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)


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.