org.sat4j.pb.orders

Interface IBumper

All Known Implementing Classes:

Bumper, BumperEffective, BumperEffectiveAndPropagated, DoubleBumpClashingLiteralsDecorator

public interface IBumper

Method Summary

Modifier and Type	Method and Description
void	postBumpActivity(IOrder order, PBConstr constr)
void	varBumpActivity(ILits voc, BumpStrategy bumpStrategy, IOrder order, PBConstr constr, int i, int propagated)

Method Detail

varBumpActivity

void varBumpActivity(ILits voc,
                     BumpStrategy bumpStrategy,
                     IOrder order,
                     PBConstr constr,
                     int i,
                     int propagated)

postBumpActivity

void postBumpActivity(IOrder order,
                      PBConstr constr)