org.sat4j.pb.lcds

Interface ILBDComputerStrategy

All Known Implementing Classes:

AbstractLBDComputerStrategy, DegreeLBDComputerStrategy, DegreeSizeLBDComputerStrategy, EffectiveLiteralsOnlyLBDComputerStrategy, FalsifiedLiteralsOnlyLBDComputerStrategy, IgnoreUnassignedLiteralsLBDComputerStrategy, LBDComputerStrategyDecorator, RatioCoefficientsDegreeLBDComputerStrategy, SlackLBDComputerStrategy, UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy, UnassignedLiteralsHaveSameLevelLBDComputerStrategy, WeightedLBDComputerStrategy

public interface ILBDComputerStrategy

Method Summary

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

Method Detail

init

void init(int howmany)

computeLBD

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