org.sat4j.pb.constraints
Interface ICardConstructor

All Known Implementing Classes:
AtLeastCardConstructor, AtLeastCardPBConstructor, MinCardConstructor, MinCardPBConstructor

public interface ICardConstructor


Method Summary
 Constr constructCard(UnitPropagationListener solver, ILits voc, IVecInt theLits, int degree)
           
 Constr constructLearntCard(ILits voc, IDataStructurePB dspb)
           
 

Method Detail

constructCard

Constr constructCard(UnitPropagationListener solver,
                     ILits voc,
                     IVecInt theLits,
                     int degree)
                     throws ContradictionException
Throws:
ContradictionException

constructLearntCard

Constr constructLearntCard(ILits voc,
                           IDataStructurePB dspb)


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