org.sat4j.pb.constraints.pb

Interface IWeakeningStrategy

public interface IWeakeningStrategy

Strategy used to reduce a PB constraint before applying the canceling addition operation.

Since:

2.3.6

Author:

leberre

Field Summary

Fields

Modifier and Type	Field and Description
static IWeakeningStrategy	ANY
static IWeakeningStrategy	SATISFIED_FIRST
static IWeakeningStrategy	UNASSIGNED_FIRST

Method Summary

Modifier and Type	Method and Description
int	findLiteralToRemove(ILits voc, IWatchPb wpb, BigInteger[] coefsBis, int indLitImplied, BigInteger degreeBis)

Field Detail

UNASSIGNED_FIRST

static final IWeakeningStrategy UNASSIGNED_FIRST

SATISFIED_FIRST

static final IWeakeningStrategy SATISFIED_FIRST

ANY

static final IWeakeningStrategy ANY

Method Detail

findLiteralToRemove

int findLiteralToRemove(ILits voc,
                        IWatchPb wpb,
                        BigInteger[] coefsBis,
                        int indLitImplied,
                        BigInteger degreeBis)