org.sat4j.minisat.constraints
Class PBMaxCBClauseCardConstrDataStructure

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
                      extended by org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure
All Implemented Interfaces:
java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory<ILits>

public class PBMaxCBClauseCardConstrDataStructure
extends PBMaxClauseCardConstrDataStructure

See Also:
Serialized Form

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

PBMaxCBClauseCardConstrDataStructure

public PBMaxCBClauseCardConstrDataStructure()
Method Detail

constructClause

protected PBConstr constructClause(IVecInt v)
Overrides:
constructClause in class PuebloPBMinClauseCardConstrDataStructure

constructLearntClause

protected PBConstr constructLearntClause(IVecInt literals)
Overrides:
constructLearntClause in class PuebloPBMinClauseCardConstrDataStructure


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