org.sat4j.pb.orders

Class BumperEffective

java.lang.Object

org.sat4j.pb.orders.BumperEffective

All Implemented Interfaces:

IBumper

public class BumperEffective
extends Object
implements IBumper

Constructor Summary

Constructors

Constructor and Description
BumperEffective()

Method Summary

Modifier and Type	Method and Description
void	postBumpActivity(IOrder order, PBConstr constr)
String	toString()
void	varBumpActivity(ILits voc, BumpStrategy bStrategy, IOrder order, PBConstr constr, int lit, int propagated)

Methods inherited from class java.lang.Object

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

Constructor Detail

BumperEffective

public BumperEffective()

Method Detail

varBumpActivity

public void varBumpActivity(ILits voc,
                            BumpStrategy bStrategy,
                            IOrder order,
                            PBConstr constr,
                            int lit,
                            int propagated)

Specified by:

varBumpActivity in interface IBumper

postBumpActivity

public void postBumpActivity(IOrder order,
                             PBConstr constr)

Specified by:

postBumpActivity in interface IBumper

toString

public String toString()

Overrides:

toString in class Object