org.sat4j.pb.constraints.pb

Class NoReduceConflict

java.lang.Object

org.sat4j.pb.constraints.pb.NoReduceConflict

All Implemented Interfaces:

IReduceConflictStrategy

public class NoReduceConflict
extends Object
implements IReduceConflictStrategy

Author:

romainwallon

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

instance

public static final IReduceConflictStrategy instance()

reduceConflict

public void reduceConflict(ConflictMapDivideByPivot conflict,
                           int literal)

Description copied from interface: IReduceConflictStrategy

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

Specified by:

reduceConflict in interface IReduceConflictStrategy

Parameters:

conflict - The conflict to reduce.

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