org.sat4j.pb.constraints

Class AtLeastCardPBConstructor

java.lang.Object

org.sat4j.pb.constraints.AtLeastCardPBConstructor

All Implemented Interfaces:

ICardConstructor

public class AtLeastCardPBConstructor
extends Object
implements ICardConstructor

Constructor Summary

Constructors

Constructor and Description
AtLeastCardPBConstructor()

Method Summary

Methods

Modifier and Type	Method and Description
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