org.sat4j.pb.constraints
Class PBMaxClauseAtLeastConstrDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
      extended by org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
              extended by org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
                  extended by org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure
                      extended by org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure
All Implemented Interfaces:
java.io.Serializable, DataStructureFactory<ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<ILits>

public class PBMaxClauseAtLeastConstrDataStructure
extends PBMaxClauseCardConstrDataStructure

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory
learner, lits, solver
 
Constructor Summary
PBMaxClauseAtLeastConstrDataStructure()
           
 
Method Summary
protected  PBConstr constructCard(IVecInt theLits, int degree)
           
protected  PBConstr constructLearntCard(IVecInt literals, int degree)
           
 
Methods inherited from class org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure
constructLearntPB, constructLearntPB, constructPB, constructPB
 
Methods inherited from class org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
constructClause, 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

PBMaxClauseAtLeastConstrDataStructure

public PBMaxClauseAtLeastConstrDataStructure()
Method Detail

constructCard

protected PBConstr constructCard(IVecInt theLits,
                                 int degree)
                          throws ContradictionException
Overrides:
constructCard in class PuebloPBMinClauseCardConstrDataStructure
Throws:
ContradictionException

constructLearntCard

protected PBConstr constructLearntCard(IVecInt literals,
                                       int degree)
Overrides:
constructLearntCard in class PuebloPBMinClauseCardConstrDataStructure


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