org.sat4j.pb.constraints
Class PBMaxDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory<org.sat4j.minisat.core.ILits>
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.PBMaxDataStructure

All Implemented Interfaces:

java.io.Serializable, org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<org.sat4j.minisat.core.ILits>

public class PBMaxDataStructure
extends AbstractPBDataStructureFactory

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

learner, lits, solver

Constructor Summary

PBMaxDataStructure()

Method Summary

protected WatchPb	constraintFactory(IDataStructurePB dspb)
protected WatchPb	constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected WatchPb	constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
protected WatchPb	constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, boolean moreThan, int degree)
protected WatchPb	constraintFactory(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVecInt coefs, int degree)

Methods inherited from class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint

Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

conflictDetectedInAttachesFor, getAttachesFor, getVocabulary, learnConstraint, reset, setLearner, setUnitPropagationListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sat4j.minisat.core.DataStructureFactory

conflictDetectedInAttachesFor, getAttachesFor, getVocabulary, learnConstraint, reset, setLearner, setUnitPropagationListener

Constructor Detail

PBMaxDataStructure

public PBMaxDataStructure()

Method Detail

constraintFactory

protected WatchPb constraintFactory(org.sat4j.specs.IVecInt literals,
                                    org.sat4j.specs.IVecInt coefs,
                                    boolean moreThan,
                                    int degree)
                             throws org.sat4j.specs.ContradictionException

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

coefs -

moreThan -

degree -

Returns:

a counter-based PB constraint.

Throws:

org.sat4j.specs.ContradictionException

constraintFactory

protected WatchPb constraintFactory(org.sat4j.specs.IVecInt literals,
                                    org.sat4j.specs.IVecInt coefs,
                                    int degree)

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

coefs -

degree -

Returns:

a counter-based PB constraint.

constraintFactory

protected WatchPb constraintFactory(org.sat4j.specs.IVecInt literals,
                                    org.sat4j.specs.IVec<java.math.BigInteger> coefs,
                                    boolean moreThan,
                                    java.math.BigInteger degree)
                             throws org.sat4j.specs.ContradictionException

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

coefs -

moreThan -

degree -

Returns:

a counter-based PB constraint.

Throws:

org.sat4j.specs.ContradictionException

constraintFactory

protected WatchPb constraintFactory(org.sat4j.specs.IVecInt literals,
                                    org.sat4j.specs.IVec<java.math.BigInteger> coefs,
                                    java.math.BigInteger degree)

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

coefs -

degree -

Returns:

a counter-based PB constraint.

constraintFactory

protected WatchPb constraintFactory(IDataStructurePB dspb)

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

weightedLits -

degree -

Returns:

a counter-based PB constraint.