org.sat4j.pb.lcds

Class RatioCoefficientsDegreeLBDComputerStrategy

java.lang.Object

org.sat4j.pb.lcds.RatioCoefficientsDegreeLBDComputerStrategy

All Implemented Interfaces:

ILBDComputerStrategy

public class RatioCoefficientsDegreeLBDComputerStrategy
extends Object
implements ILBDComputerStrategy

Author:

wallon

Constructor Summary

Constructors

Constructor and Description
RatioCoefficientsDegreeLBDComputerStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RatioCoefficientsDegreeLBDComputerStrategy

public RatioCoefficientsDegreeLBDComputerStrategy()

Method Detail

init

public void init(int howmany)

Specified by:

init in interface ILBDComputerStrategy

computeLBD

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

Specified by:

computeLBD in interface ILBDComputerStrategy