org.sat4j.pb.constraints.pb

Interface IReduceConflictStrategy

All Known Implementing Classes:

NoReduceConflict, ReduceConflict

public interface IReduceConflictStrategy

Author:

romainwallon

Method Summary

Modifier and Type	Method and Description
void	reduceConflict(ConflictMapDivideByPivot conflict, int literal) Reduces the conflict w.r.t. the implied literal.

Method Detail

reduceConflict

void reduceConflict(ConflictMapDivideByPivot conflict,
                    int literal)

Reduces the conflict w.r.t. the implied literal.

Parameters:

conflict - The conflict to reduce.

literal - The literal on which the next resolution will be performed.