org.sat4j.pb.orders

Interfaces

• IBumper
• IOrderObjective

Classes

• BumperEffective
• BumperEffectiveAndPropagated
• DoubleBumpClashingLiteralsDecorator
• LevelBasedVarOrderHeapObjective
• RandomWalkDecoratorObjective
• VarOrderHeapObjective

Enums

• Bumper
• BumpStrategy