org.sat4j.pb.constraints
Class PuebloPBMinClauseCardConstrDataStructure

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

public class PuebloPBMinClauseCardConstrDataStructure
extends AbstractPBClauseCardConstrDataStructure

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
PuebloPBMinClauseCardConstrDataStructure()
           
 
Method Summary
 Constr createClause(IVecInt literals)
           
 
Methods inherited from class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constraintFactory, constructCard, constructClause, constructLearntCard, constructLearntClause, constructLearntPB, constructPB, createUnregisteredClause, learntConstraintFactory, sumOfCoefficients
 
Methods inherited from class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createLits, createPseudoBooleanConstraint, 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

PuebloPBMinClauseCardConstrDataStructure

public PuebloPBMinClauseCardConstrDataStructure()
Method Detail

createClause

public Constr createClause(IVecInt literals)
                    throws ContradictionException
Specified by:
createClause in interface DataStructureFactory
Overrides:
createClause in class AbstractPBClauseCardConstrDataStructure
Throws:
ContradictionException


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