org.sat4j.minisat.constraints
Class PBMaxClauseCardConstrDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
      extended by org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
              extended by org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure
                  extended by org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure
All Implemented Interfaces:
java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory<ILits>
Direct Known Subclasses:
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(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
           
protected  PBConstr constructPB(IDataStructurePB mpb)
           
protected  PBConstr constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
           
 
Methods inherited from class org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure
constructCard, constructClause, constructLearntCard, constructLearntClause
 
Methods inherited from class org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
constraintFactory, constraintFactory, constraintFactory, constraintFactory
 
Methods inherited from class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint
 
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
 

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[] lits,
                               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


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.