Uses of Interface
org.sat4j.pb.orders.IBumper

Packages that use IBumper

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 IBumper in org.sat4j.pb.core

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

Modifier and Type	Method and Description
void	PBSolverCP.setBumper(IBumper bumperEffective)

Uses of IBumper in org.sat4j.pb.orders

Classes in org.sat4j.pb.orders that implement IBumper

Modifier and Type	Class and Description
class	Bumper
class	BumperEffective
class	BumperEffectiveAndPropagated
class	DoubleBumpClashingLiteralsDecorator

Constructors in org.sat4j.pb.orders with parameters of type IBumper

Constructor and Description
DoubleBumpClashingLiteralsDecorator(IBumper decorated)