org.sat4j.pb.orders

Class DoubleBumpClashingLiteralsDecorator

java.lang.Object

org.sat4j.pb.orders.DoubleBumpClashingLiteralsDecorator

All Implemented Interfaces:

IBumper

public class DoubleBumpClashingLiteralsDecorator
extends Object
implements IBumper

Constructor Summary

Constructors

Constructor and Description
DoubleBumpClashingLiteralsDecorator(IBumper decorated)

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DoubleBumpClashingLiteralsDecorator

public DoubleBumpClashingLiteralsDecorator(IBumper decorated)

Method Detail

varBumpActivity

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

Specified by:

varBumpActivity in interface IBumper

postBumpActivity

public void postBumpActivity(IOrder order,
                             PBConstr constr)

Specified by:

postBumpActivity in interface IBumper