org.sat4j.pb.constraints
Class PBMaxClauseCardConstrDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
              org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
                  org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, DataStructureFactory<ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<ILits>

Direct Known Subclasses:

CompetPBMaxClauseCardConstrDataStructure, PBMaxCBClauseCardConstrDataStructure, PBMaxClauseAtLeastConstrDataStructure

public class PBMaxClauseCardConstrDataStructure
extends PuebloPBMinClauseCardConstrDataStructure

See Also:

Serialized Form

Field Summary

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

learner, lits, solver

Constructor Summary

PBMaxClauseCardConstrDataStructure()

Method Summary

protected PBConstr	constructLearntPB(IDataStructurePB mpb)
protected PBConstr	constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	constructPB(IDataStructurePB mpb)
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, constructLearntCard, constructLearntClause, constructLearntClause

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

constraintFactory, constraintFactory, constraintFactory, constraintFactory, constraintFactory

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

PBMaxClauseCardConstrDataStructure

public PBMaxClauseCardConstrDataStructure()

Method Detail

constructPB

protected PBConstr constructPB(IDataStructurePB mpb)
                        throws ContradictionException

Overrides:

constructPB in class PuebloPBMinClauseCardConstrDataStructure

Throws:

ContradictionException

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(IVecInt literals,
                                     IVec<java.math.BigInteger> coefs,
                                     java.math.BigInteger degree)

Overrides:

constructLearntPB in class PuebloPBMinClauseCardConstrDataStructure

constructLearntPB

protected PBConstr constructLearntPB(IDataStructurePB mpb)

Overrides:

constructLearntPB in class PuebloPBMinClauseCardConstrDataStructure