org.sat4j.pb.constraints
Class PBMaxCBClauseCardConstrDataStructure

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.PBMaxCBClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, DataStructureFactory<ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<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.pb.constraints.PBMaxClauseCardConstrDataStructure

constructLearntPB, constructLearntPB, constructPB, constructPB

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

constructCard, constructLearntCard, constructLearntCard, 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

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