org.sat4j.pb.constraints

Class PBMinDataStructure

java.lang.Object

org.sat4j.minisat.constraints.AbstractDataStructureFactory

org.sat4j.pb.constraints.AbstractPBDataStructureFactory

org.sat4j.pb.constraints.PBMinDataStructure

All Implemented Interfaces:

Serializable, DataStructureFactory, PBDataStructureFactory

public class PBMinDataStructure
extends AbstractPBDataStructureFactory

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

See Also:

Serialized Form

Field Summary

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

FOR_COMPETITION, NO_COMPETITION

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

learner, lits, solver

Constructor Summary

Constructors

Constructor and Description
PBMinDataStructure()

Method Summary

Methods

Modifier and Type	Method and Description
protected PBConstr	constraintFactory(int[] literals, BigInteger[] coefs, BigInteger degree)
protected Constr	learntAtLeastConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
protected Constr	learntAtMostConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
protected Constr	learntConstraintFactory(IDataStructurePB dspb)

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

createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredAtLeastConstraint, createUnregisteredAtMostConstraint, createUnregisteredCardinalityConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, getNormalizer, setNormalizer, setNormalizer

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

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

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

Constructor Detail

PBMinDataStructure

public PBMinDataStructure()

Method Detail

constraintFactory

protected PBConstr constraintFactory(int[] literals,
                         BigInteger[] coefs,
                         BigInteger degree)
                              throws ContradictionException

Specified by:

constraintFactory in class AbstractPBDataStructureFactory

Throws:

ContradictionException

learntConstraintFactory

protected Constr learntConstraintFactory(IDataStructurePB dspb)

Specified by:

learntConstraintFactory in class AbstractPBDataStructureFactory

learntAtLeastConstraintFactory

protected Constr learntAtLeastConstraintFactory(IVecInt literals,
                                    IVec<BigInteger> coefs,
                                    BigInteger degree)

Specified by:

learntAtLeastConstraintFactory in class AbstractPBDataStructureFactory

learntAtMostConstraintFactory

protected Constr learntAtMostConstraintFactory(IVecInt literals,
                                   IVec<BigInteger> coefs,
                                   BigInteger degree)

Specified by:

learntAtMostConstraintFactory in class AbstractPBDataStructureFactory