org.sat4j.pb.constraints.pb

Interface IRemoveSatisfiedLiterals

public interface IRemoveSatisfiedLiterals

Method Summary

Modifier and Type	Method and Description
BigInteger	removeSatisfiedLiteralsFromHigherDecisionLevels(IWatchPb wpb, BigInteger[] coefsBis, int currentLevel, BigInteger degreeBis)

Method Detail

removeSatisfiedLiteralsFromHigherDecisionLevels

BigInteger removeSatisfiedLiteralsFromHigherDecisionLevels(IWatchPb wpb,
                                                           BigInteger[] coefsBis,
                                                           int currentLevel,
                                                           BigInteger degreeBis)