org.sat4j.pb.constraints
Class AtLeastCardPBConstructor

java.lang.Object
  extended by org.sat4j.pb.constraints.AtLeastCardPBConstructor
All Implemented Interfaces:
ICardConstructor

public class AtLeastCardPBConstructor
extends Object
implements ICardConstructor


Constructor Summary
AtLeastCardPBConstructor()
           
 
Method Summary
 Constr constructCard(UnitPropagationListener solver, ILits voc, IVecInt theLits, int degree)
           
 Constr constructLearntCard(ILits voc, IDataStructurePB dspb)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtLeastCardPBConstructor

public AtLeastCardPBConstructor()
Method Detail

constructCard

public Constr constructCard(UnitPropagationListener solver,
                            ILits voc,
                            IVecInt theLits,
                            int degree)
                     throws ContradictionException
Specified by:
constructCard in interface ICardConstructor
Throws:
ContradictionException

constructLearntCard

public Constr constructLearntCard(ILits voc,
                                  IDataStructurePB dspb)
Specified by:
constructLearntCard in interface ICardConstructor


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