Uses of Class
org.sat4j.pb.orders.BumpStrategy

Packages that use BumpStrategy

Package	Description
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.orders	Various heuristics for the next variable to branch on.

Uses of BumpStrategy in org.sat4j.pb.core

Methods in org.sat4j.pb.core with parameters of type BumpStrategy

Modifier and Type	Method and Description
void	PBSolverCP.setBumpStrategy(BumpStrategy bumpStrategy)

Uses of BumpStrategy in org.sat4j.pb.orders

Methods in org.sat4j.pb.orders that return BumpStrategy

Modifier and Type	Method and Description
static BumpStrategy	BumpStrategy.valueOf(String name) Returns the enum constant of this type with the specified name.
static BumpStrategy[]	BumpStrategy.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.sat4j.pb.orders with parameters of type BumpStrategy

Modifier and Type	Method and Description
void	BumperEffective.varBumpActivity(ILits voc, BumpStrategy bStrategy, IOrder order, PBConstr constr, int lit, int propagated)
void	DoubleBumpClashingLiteralsDecorator.varBumpActivity(ILits voc, BumpStrategy bumpStrategy, IOrder order, PBConstr constr, int i, int propagated)
void	IBumper.varBumpActivity(ILits voc, BumpStrategy bumpStrategy, IOrder order, PBConstr constr, int i, int propagated)
void	Bumper.varBumpActivity(ILits voc, BumpStrategy bumpStrategy, IOrder order, PBConstr constr, int i, int propagated)
void	BumperEffectiveAndPropagated.varBumpActivity(ILits voc, BumpStrategy bStrategy, IOrder order, PBConstr constr, int lit, int propagated)