org.sat4j.pb.constraints.pb

Interface IPostProcess

All Known Implementing Classes:

NoPostProcess, PostProcessDivideBy2, PostProcessDivideByGCD, PostProcessToCard, PostProcessToClause

public interface IPostProcess

Interface to post-process the assertive conflict, e.g. to convert it to a clause, to a cardinality.

Method Summary

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

Method Detail

postProcess

void postProcess(int dl,
                 ConflictMap conflictMap)