org.sat4j.pb.constraints
Class MinCardPBConstructor

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

public class MinCardPBConstructor
extends Object
implements ICardConstructor


Constructor Summary
MinCardPBConstructor()
           
 
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

MinCardPBConstructor

public MinCardPBConstructor()
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.