org.sat4j.pb.lcds

Class WeightedLBDComputerStrategy

java.lang.Object

org.sat4j.pb.lcds.LBDComputerStrategyDecorator

org.sat4j.pb.lcds.WeightedLBDComputerStrategy

All Implemented Interfaces:

ILBDComputerStrategy

public class WeightedLBDComputerStrategy
extends LBDComputerStrategyDecorator

Author:

wallon

Constructor Summary

Constructors

Constructor and Description
WeightedLBDComputerStrategy(ILBDComputerStrategy decorated)

Method Summary

Modifier and Type	Method and Description
int	computeLBD(ILits voc, PBConstr constr, int propagated)

Methods inherited from class org.sat4j.pb.lcds.LBDComputerStrategyDecorator

init

Methods inherited from class java.lang.Object

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

Constructor Detail

WeightedLBDComputerStrategy

public WeightedLBDComputerStrategy(ILBDComputerStrategy decorated)

Method Detail

computeLBD

public int computeLBD(ILits voc,
                      PBConstr constr,
                      int propagated)

Specified by:

computeLBD in interface ILBDComputerStrategy

Overrides:

computeLBD in class LBDComputerStrategyDecorator