org.sat4j.pb.lcds

Class IgnoreUnassignedLiteralsLBDComputerStrategy

java.lang.Object

org.sat4j.pb.lcds.AbstractLBDComputerStrategy

org.sat4j.pb.lcds.IgnoreUnassignedLiteralsLBDComputerStrategy

All Implemented Interfaces:

ILBDComputerStrategy

public class IgnoreUnassignedLiteralsLBDComputerStrategy
extends AbstractLBDComputerStrategy

Author:

wallon

Field Summary

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

flag, flags

Constructor Summary

Constructors

Constructor and Description
IgnoreUnassignedLiteralsLBDComputerStrategy()

Method Summary

Modifier and Type	Method and Description
protected int	assignedLiteral(ILits voc, PBConstr constr, int i)
protected int	unassignedLiteral(ILits voc, PBConstr constr, int i)

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

computeLBD, fixLbd, init, startComputeLBD

Methods inherited from class java.lang.Object

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

Constructor Detail

IgnoreUnassignedLiteralsLBDComputerStrategy

public IgnoreUnassignedLiteralsLBDComputerStrategy()

Method Detail

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