org.sat4j.pb.constraints
Class PBMinClauseCardConstrDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
              org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
                  org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, DataStructureFactory, PBDataStructureFactory

Direct Known Subclasses:

CompetMinHTmixedClauseCardConstrDataStructureFactory

public class PBMinClauseCardConstrDataStructure
extends PuebloPBMinClauseCardConstrDataStructure

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

PBMinClauseCardConstrDataStructure()

Method Summary

protected PBConstr	constructLearntPB(IDataStructurePB dspb)
protected PBConstr	constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)

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

constructCard, constructClause, constructLearntCard, constructLearntClause

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

constraintFactory, learntConstraintFactory

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

PBMinClauseCardConstrDataStructure

public PBMinClauseCardConstrDataStructure()

Method Detail

constructPB

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

Overrides:

constructPB in class PuebloPBMinClauseCardConstrDataStructure

Throws:

ContradictionException

constructLearntPB

protected PBConstr constructLearntPB(IDataStructurePB dspb)

Overrides:

constructLearntPB in class PuebloPBMinClauseCardConstrDataStructure