org.sat4j.pb.constraints.pb

Class NoPostProcess

java.lang.Object

org.sat4j.pb.constraints.pb.NoPostProcess

All Implemented Interfaces:

IPostProcess

public class NoPostProcess
extends Object
implements IPostProcess

Method Summary

Modifier and Type	Method and Description
static NoPostProcess	instance()
void	postProcess(int dl, ConflictMap conflictMap)
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

instance

public static final NoPostProcess instance()

postProcess

public void postProcess(int dl,
                        ConflictMap conflictMap)

Specified by:

postProcess in interface IPostProcess

toString

public String toString()

Overrides:

toString in class Object