org.sat4j.pb.constraints.pb

Class NoPreProcess

java.lang.Object

org.sat4j.pb.constraints.pb.NoPreProcess

All Implemented Interfaces:

IPreProcess

public class NoPreProcess
extends Object
implements IPreProcess

Author:

romainwallon

Method Summary

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

preProcess

public void preProcess(int dl,
                       ConflictMap conflictMap)

Specified by:

preProcess in interface IPreProcess

toString

public String toString()

Overrides:

toString in class Object