org.sat4j.pb.constraints.pb

Class PostProcessToCard

java.lang.Object

org.sat4j.pb.constraints.pb.PostProcessToCard

All Implemented Interfaces:

IPostProcess

public class PostProcessToCard
extends Object
implements IPostProcess

Method Summary

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

postProcess

public void postProcess(int dl,
                        ConflictMap conflictMap)

Specified by:

postProcess in interface IPostProcess

toString

public String toString()

Overrides:

toString in class Object