Uses of Interface
org.sat4j.pb.constraints.pb.IConflictFactory

Packages that use IConflictFactory

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

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

Methods in org.sat4j.pb.constraints.pb that return IConflictFactory

Modifier and Type	Method and Description
static IConflictFactory	ConflictMapWeakenToClash.factory()
static IConflictFactory	ConflictMapMinimizeWeakening.factory()
static IConflictFactory	ConflictMapRounding.factory()
static IConflictFactory	ConflictMapReduceToClause.factory()
static IConflictFactory	ConflictMapReduceToCard.factory()
static IConflictFactory	ConflictMap.factory()
static IConflictFactory	ConflictMapWeakenReason.factory()
static IConflictFactory	ConflictMapReduceByGCD.factory()
static IConflictFactory	ConflictMapReduceByPowersOf2.factory()
static IConflictFactory	ConflictMapDivideByPivot.fullWeakeningOnBothFactory()
static IConflictFactory	ConflictMapDivideByPivot.fullWeakeningOnConflictFactory()
static IConflictFactory	ConflictMapDivideByPivot.fullWeakeningOnReasonFactory()
static IConflictFactory	ConflictMapDivideByPivot.partialWeakeningOnBothFactory()
static IConflictFactory	ConflictMapDivideByPivot.partialWeakeningOnConflictFactory()
static IConflictFactory	ConflictMapDivideByPivot.partialWeakeningOnReasonFactory()

Uses of IConflictFactory in org.sat4j.pb.core

Methods in org.sat4j.pb.core that return IConflictFactory

Modifier and Type	Method and Description
IConflictFactory	PBSolverCP.getConflictFactory()

Methods in org.sat4j.pb.core with parameters of type IConflictFactory

Modifier and Type	Method and Description
void	PBSolverCP.setConflictFactory(IConflictFactory conflictFactory)