org.sat4j.pb.constraints.pb
Interface IInternalPBConstraintCreator

All Known Implementing Classes:

AbstractPBClauseCardConstrDataStructure, AbstractPBDataStructureFactory, AbstractPBDataStructureFactoryPB, CompetPBMaxClauseCardConstrDataStructure, 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

org.sat4j.specs.IConstr

createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

Method Detail

createUnregisteredPseudoBooleanConstraint

org.sat4j.specs.IConstr createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals,
                                                                  org.sat4j.specs.IVec<java.math.BigInteger> coefs,
                                                                  java.math.BigInteger degree)