org.sat4j.pb.constraints.pb

Interface IPreProcess

All Known Implementing Classes:

NoPreProcess, PreProcessReduceConflict

public interface IPreProcess

Author:

romainwallon

Method Summary

Modifier and Type	Method and Description
void	preProcess(int dl, ConflictMap conflictMap)

Method Detail

preProcess

void preProcess(int dl,
                ConflictMap conflictMap)