org.sat4j.pb.constraints.pb

Class PreProcessReduceConflict

java.lang.Object

org.sat4j.pb.constraints.pb.PreProcessReduceConflict

All Implemented Interfaces:

IPreProcess

public class PreProcessReduceConflict
extends Object
implements IPreProcess

Author:

romainwallon

Method Summary

Modifier and Type	Method and Description
static IPreProcess	instanceWithFalsified()
static IPreProcess	instanceWithoutFalsified()
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

instanceWithFalsified

public static final IPreProcess instanceWithFalsified()

instanceWithoutFalsified

public static final IPreProcess instanceWithoutFalsified()

preProcess

public void preProcess(int dl,
                       ConflictMap conflictMap)

Specified by:

preProcess in interface IPreProcess

toString

public String toString()

Overrides:

toString in class Object