org.sat4j.pb.constraints
Class MinCardConstructor

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

public class MinCardConstructor
extends Object
implements ICardConstructor


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

MinCardConstructor

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