org.sat4j.pb.constraints.pb

Class PostProcessDivideBy2

java.lang.Object

org.sat4j.pb.constraints.pb.PostProcessDivideBy2

All Implemented Interfaces:

IPostProcess

public class PostProcessDivideBy2
extends Object
implements IPostProcess

Method Summary

Modifier and Type	Method and Description
static PostProcessDivideBy2	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 PostProcessDivideBy2 instance()

postProcess

public void postProcess(int dl,
                        ConflictMap conflictMap)

Specified by:

postProcess in interface IPostProcess

toString

public String toString()

Overrides:

toString in class Object