org.sat4j.pb.lcds

Class EffectiveLiteralsOnlyLBDComputerStrategy

java.lang.Object

org.sat4j.pb.lcds.AbstractLBDComputerStrategy

org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy

All Implemented Interfaces:

ILBDComputerStrategy

public class EffectiveLiteralsOnlyLBDComputerStrategy
extends AbstractLBDComputerStrategy

Author:

wallon

Field Summary

Fields inherited from class org.sat4j.pb.lcds.AbstractLBDComputerStrategy

flag, flags

Constructor Summary

Constructors

Constructor and Description
EffectiveLiteralsOnlyLBDComputerStrategy()

Method Summary

Modifier and Type	Method and Description
protected int	assignedLiteral(ILits voc, PBConstr constr, int i)
protected int	fixLbd(PBConstr constr, int lbd)
protected void	startComputeLBD(PBConstr constr, int propagated)
protected int	unassignedLiteral(ILits voc, PBConstr constr, int i)

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

computeLBD, init

Methods inherited from class java.lang.Object

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

Constructor Detail

EffectiveLiteralsOnlyLBDComputerStrategy

public EffectiveLiteralsOnlyLBDComputerStrategy()

Method Detail

startComputeLBD

protected void startComputeLBD(PBConstr constr,
                               int propagated)

Overrides:

startComputeLBD in class AbstractLBDComputerStrategy

unassignedLiteral

protected int unassignedLiteral(ILits voc,
                                PBConstr constr,
                                int i)

Specified by:

unassignedLiteral in class AbstractLBDComputerStrategy

assignedLiteral

protected int assignedLiteral(ILits voc,
                              PBConstr constr,
                              int i)

Specified by:

assignedLiteral in class AbstractLBDComputerStrategy

fixLbd

protected int fixLbd(PBConstr constr,
                     int lbd)

Overrides:

fixLbd in class AbstractLBDComputerStrategy