org.sat4j.pb.lcds

Class PBActivityLCDS

java.lang.Object

org.sat4j.minisat.core.ActivityLCDS

org.sat4j.pb.lcds.PBActivityLCDS

All Implemented Interfaces:

Serializable, LearnedConstraintsDeletionStrategy

public class PBActivityLCDS
extends ActivityLCDS

Author:

romain

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.core.ActivityLCDS

solver

Constructor Summary

Constructors

Constructor and Description
PBActivityLCDS(Solver<? extends DataStructureFactory> solver, ConflictTimer timer)

Method Summary

Modifier and Type	Method and Description
protected void	onRemove(Constr c)

Methods inherited from class org.sat4j.minisat.core.ActivityLCDS

getTimer, init, onClauseLearning, onConflictAnalysis, onPropagation, reduce, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

PBActivityLCDS

public PBActivityLCDS(Solver<? extends DataStructureFactory> solver,
                      ConflictTimer timer)

Method Detail

onRemove

protected void onRemove(Constr c)

Overrides:

onRemove in class ActivityLCDS