org.sat4j.pb.lcds

Class AbstractLBDComputerStrategy

java.lang.Object

org.sat4j.pb.lcds.AbstractLBDComputerStrategy

All Implemented Interfaces:

ILBDComputerStrategy

Direct Known Subclasses:

EffectiveLiteralsOnlyLBDComputerStrategy, FalsifiedLiteralsOnlyLBDComputerStrategy, IgnoreUnassignedLiteralsLBDComputerStrategy, UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy, UnassignedLiteralsHaveSameLevelLBDComputerStrategy

public abstract class AbstractLBDComputerStrategy
extends Object
implements ILBDComputerStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected int	flag
protected int[]	flags

Constructor Summary

Constructors

Constructor and Description
AbstractLBDComputerStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

flags

protected int[] flags

flag

protected int flag

Constructor Detail

AbstractLBDComputerStrategy

public AbstractLBDComputerStrategy()

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

startComputeLBD

protected void startComputeLBD(PBConstr constr,
                               int propagated)

unassignedLiteral

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

assignedLiteral

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

fixLbd

protected int fixLbd(PBConstr constr,
                     int lbd)