org.sat4j.pb.constraints
Class AbstractPBDataStructureFactoryPB

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory<org.sat4j.minisat.core.ILits>
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB

All Implemented Interfaces:

java.io.Serializable, org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<org.sat4j.minisat.core.ILits>

Direct Known Subclasses:

AbstractPBClauseCardConstrDataStructurePB

public abstract class AbstractPBDataStructureFactoryPB
extends AbstractPBDataStructureFactory

The root of the data structures that manage all the constraints as PBConstr (that way, cutting planes can be applied).

Author:

leberre

See Also:

Serialized Form

Constructor Summary

AbstractPBDataStructureFactoryPB()

Method Summary

PBConstr	createClause(org.sat4j.specs.IVecInt literals)
PBConstr	createUnregisteredClause(org.sat4j.specs.IVecInt literals)
PBConstr	createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

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

createCardinalityConstraint, createPseudoBooleanConstraint, 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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sat4j.minisat.core.DataStructureFactory

conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener

Constructor Detail

AbstractPBDataStructureFactoryPB

public AbstractPBDataStructureFactoryPB()

Method Detail

createUnregisteredPseudoBooleanConstraint

public PBConstr createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals,
                                                          org.sat4j.specs.IVec<java.math.BigInteger> coefs,
                                                          java.math.BigInteger degree)

Specified by:

createUnregisteredPseudoBooleanConstraint in interface IInternalPBConstraintCreator

Specified by:

createUnregisteredPseudoBooleanConstraint in interface PBDataStructureFactory<org.sat4j.minisat.core.ILits>

Overrides:

createUnregisteredPseudoBooleanConstraint in class AbstractPBDataStructureFactory

createClause

public PBConstr createClause(org.sat4j.specs.IVecInt literals)
                      throws org.sat4j.specs.ContradictionException

Specified by:

createClause in interface org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>

Overrides:

createClause in class AbstractPBDataStructureFactory

Throws:

org.sat4j.specs.ContradictionException

createUnregisteredClause

public PBConstr createUnregisteredClause(org.sat4j.specs.IVecInt literals)

Specified by:

createUnregisteredClause in interface org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>

Overrides:

createUnregisteredClause in class AbstractPBDataStructureFactory