org.sat4j.pb.constraints
Class PBMinDataStructure

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

All Implemented Interfaces:

java.io.Serializable, DataStructureFactory, PBDataStructureFactory

public class PBMinDataStructure
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

PBMinDataStructure()

Method Summary

protected PBConstr	constraintFactory(int[] literals, java.math.BigInteger[] coefs, java.math.BigInteger degree)
protected Constr	learntConstraintFactory(IDataStructurePB dspb)

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

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

PBMinDataStructure

public PBMinDataStructure()

Method Detail

constraintFactory

protected PBConstr constraintFactory(int[] literals,
                                     java.math.BigInteger[] coefs,
                                     java.math.BigInteger degree)
                              throws ContradictionException

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Throws:

ContradictionException

learntConstraintFactory

protected Constr learntConstraintFactory(IDataStructurePB dspb)

Specified by:

learntConstraintFactory in class AbstractPBDataStructureFactory