Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat.constraints.pb
Interface IInternalPBConstraintCreator

All Known Implementing Classes:
AbstractPBClauseCardConstrDataStructure, AbstractPBDataStructureFactory, PBMaxCBClauseCardConstrDataStructure, PBMaxClauseAtLeastConstrDataStructure, PBMaxClauseCardConstrDataStructure, PBMaxDataStructure, PBMinClauseCardConstrDataStructure, PBMinDataStructure, PuebloPBMinClauseAtLeastConstrDataStructure, PuebloPBMinClauseCardConstrDataStructure, PuebloPBMinDataStructure
public interface IInternalPBConstraintCreator

Author:
leberre TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

Method Summary
 IConstr createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
           
 

Method Detail

createUnregisteredPseudoBooleanConstraint

IConstr createUnregisteredPseudoBooleanConstraint(IVecInt literals,
                                                  IVec<java.math.BigInteger> coefs,
                                                  java.math.BigInteger degree)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.