org.sat4j.pb.constraints
Class CompetPBMaxClauseCardConstrDataStructure

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
                      org.sat4j.pb.constraints.CompetPBMaxClauseCardConstrDataStructure

All Implemented Interfaces:

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

public class CompetPBMaxClauseCardConstrDataStructure
extends PBMaxClauseCardConstrDataStructure

Author:

anne

See Also:

Serialized Form

Field Summary

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

learner, lits, solver

Constructor Summary

CompetPBMaxClauseCardConstrDataStructure()

Method Summary

protected PBConstr

constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)

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

constructLearntPB, constructLearntPB, constructPB, constructPB

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

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

CompetPBMaxClauseCardConstrDataStructure

public CompetPBMaxClauseCardConstrDataStructure()

Method Detail

constraintFactory

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

Overrides:

constraintFactory in class AbstractPBClauseCardConstrDataStructure

Throws:

ContradictionException