org.sat4j.pb.constraints
Class PBMaxDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
      extended by org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.pb.constraints.PBMaxDataStructure
All Implemented Interfaces:
java.io.Serializable, DataStructureFactory<ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<ILits>

public class PBMaxDataStructure
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.minisat.constraints.AbstractDataStructureFactory
learner, lits, solver
 
Constructor Summary
PBMaxDataStructure()
           
 
Method Summary
protected  WatchPb constraintFactory(IDataStructurePB dspb)
           
protected  WatchPb constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
           
protected  WatchPb constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
protected  WatchPb constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
           
protected  WatchPb constraintFactory(IVecInt literals, IVecInt coefs, int degree)
           
 
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

PBMaxDataStructure

public PBMaxDataStructure()
Method Detail

constraintFactory

protected WatchPb constraintFactory(IVecInt literals,
                                    IVecInt coefs,
                                    boolean moreThan,
                                    int degree)
                             throws ContradictionException
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Parameters:
literals -
coefs -
moreThan -
degree -
Returns:
a counter-based PB constraint.
Throws:
ContradictionException

constraintFactory

protected WatchPb constraintFactory(IVecInt literals,
                                    IVecInt coefs,
                                    int degree)
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Parameters:
literals -
coefs -
degree -
Returns:
a counter-based PB constraint.

constraintFactory

protected WatchPb constraintFactory(IVecInt literals,
                                    IVec<java.math.BigInteger> coefs,
                                    boolean moreThan,
                                    java.math.BigInteger degree)
                             throws ContradictionException
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Parameters:
literals -
coefs -
moreThan -
degree -
Returns:
a counter-based PB constraint.
Throws:
ContradictionException

constraintFactory

protected WatchPb constraintFactory(IVecInt literals,
                                    IVec<java.math.BigInteger> coefs,
                                    java.math.BigInteger degree)
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Parameters:
literals -
coefs -
degree -
Returns:
a counter-based PB constraint.

constraintFactory

protected WatchPb constraintFactory(IDataStructurePB dspb)
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Parameters:
literals -
weightedLits -
degree -
Returns:
a counter-based PB constraint.


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