org.sat4j.pb.constraints
Class AtLeastCardConstructor

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

public class AtLeastCardConstructor
extends Object
implements ICardConstructor


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

AtLeastCardConstructor

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