Uses of Class
org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot

Packages that use ConflictMapDivideByPivot

Package	Description
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.

Uses of ConflictMapDivideByPivot in org.sat4j.pb.constraints.pb

Methods in org.sat4j.pb.constraints.pb with parameters of type ConflictMapDivideByPivot

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