org.sat4j.pb.constraints
Class PuebloPBMinDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory
      extended by org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.pb.constraints.PuebloPBMinDataStructure
All Implemented Interfaces:
java.io.Serializable, DataStructureFactory, PBDataStructureFactory

public class PuebloPBMinDataStructure
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
PuebloPBMinDataStructure()
           
 
Method Summary
protected  PBConstr constraintFactory(int[] literals, java.math.BigInteger[] coefs, java.math.BigInteger degree)
           
protected  PBConstr learntConstraintFactory(IDataStructurePB dspb)
           
 
Methods inherited from class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, 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

PuebloPBMinDataStructure

public PuebloPBMinDataStructure()
Method Detail

constraintFactory

protected PBConstr constraintFactory(int[] literals,
                                     java.math.BigInteger[] coefs,
                                     java.math.BigInteger degree)
                              throws ContradictionException
Specified by:
constraintFactory in class AbstractPBDataStructureFactory
Throws:
ContradictionException

learntConstraintFactory

protected PBConstr learntConstraintFactory(IDataStructurePB dspb)
Specified by:
learntConstraintFactory in class AbstractPBDataStructureFactory


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