org.sat4j.pb.constraints
Class PBMaxDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.PBMaxDataStructure

All Implemented Interfaces:

Serializable, DataStructureFactory, PBDataStructureFactory

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.pb.constraints.AbstractPBDataStructureFactory

FOR_COMPETITION, NO_COMPETITION

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

learner, lits, solver

Constructor Summary

PBMaxDataStructure()

Method Summary

protected Constr	constraintFactory(int[] literals, BigInteger[] coefs, BigInteger degree)
protected WatchPb	learntConstraintFactory(IDataStructurePB dspb)

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

createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, getNormalizer, setNormalizer, setNormalizer

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

conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, 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

conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener

Constructor Detail

PBMaxDataStructure

public PBMaxDataStructure()

Method Detail

constraintFactory

protected Constr constraintFactory(int[] literals,
                                   BigInteger[] coefs,
                                   BigInteger degree)
                            throws ContradictionException

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

coefs -

moreThan -

degree -

Returns:

a counter-based PB constraint.

Throws:

ContradictionException

learntConstraintFactory

protected WatchPb learntConstraintFactory(IDataStructurePB dspb)

Specified by:

learntConstraintFactory in class AbstractPBDataStructureFactory

Parameters:

literals -

weightedLits -

degree -

Returns:

a counter-based PB constraint.