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>

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

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

learner, lits, solver

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

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

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