org.sat4j.pb.lcds

Class NullLCDS

java.lang.Object

org.sat4j.pb.lcds.NullLCDS

All Implemented Interfaces:

Serializable, LearnedConstraintsDeletionStrategy

public class NullLCDS
extends Object
implements LearnedConstraintsDeletionStrategy

Author:

romain

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NullLCDS(LearnedConstraintsDeletionStrategy decorated)

Method Summary

Modifier and Type	Method and Description
ConflictTimer	getTimer()
void	init()
void	onClauseLearning(Constr outLearnt)
void	onConflictAnalysis(Constr reason)
void	onPropagation(Constr from, int propagated)
void	reduce(IVec<Constr> learnedConstrs)

Methods inherited from class java.lang.Object

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

Constructor Detail

NullLCDS

public NullLCDS(LearnedConstraintsDeletionStrategy decorated)

Method Detail

init

public void init()

Specified by:

init in interface LearnedConstraintsDeletionStrategy

getTimer

public ConflictTimer getTimer()

Specified by:

getTimer in interface LearnedConstraintsDeletionStrategy

reduce

public void reduce(IVec<Constr> learnedConstrs)

Specified by:

reduce in interface LearnedConstraintsDeletionStrategy

onClauseLearning

public void onClauseLearning(Constr outLearnt)

Specified by:

onClauseLearning in interface LearnedConstraintsDeletionStrategy

onConflictAnalysis

public void onConflictAnalysis(Constr reason)

Specified by:

onConflictAnalysis in interface LearnedConstraintsDeletionStrategy

onPropagation

public void onPropagation(Constr from,
                          int propagated)

Specified by:

onPropagation in interface LearnedConstraintsDeletionStrategy