Package org.sat4j.pb.constraints.pb

Implementations of pseudo boolean constraints.

See: Description

Interface Summary

Interface	Description
IConflict
IConflictFactory
IDataStructurePB
IPostProcess	Interface to post-process the assertive conflict, e.g. to convert it to a clause, to a cardinality.
IPreProcess
IReduceConflictStrategy
IRemoveSatisfiedLiterals
IWatchPb
IWeakeningStrategy	Strategy used to reduce a PB constraint before applying the canceling addition operation.
PBConstr

Class Summary

Class	Description
AtLeastPB
ConflictMap
ConflictMapClause
ConflictMapDivideByPivot
ConflictMapMinimizeWeakening
ConflictMapReduceByGCD
ConflictMapReduceByPowersOf2
ConflictMapReduceToCard	This class implements the reduction to cardinality algorithm proposed by Heidi Dixon in her dissertation.
ConflictMapReduceToClause
ConflictMapRounding
ConflictMapSwitchToClause
ConflictMapWeakenReason
ConflictMapWeakenToClash
InternalMapPBStructure
LearntBinaryClausePB
LearntHTClausePB
MapPb
MaxWatchPb	Data structure for pseudo-boolean constraint with watched literals.
MaxWatchPbLong	Data structure for pseudo-boolean constraint with watched literals.
MaxWatchPbLongCP	Data structure for pseudo-boolean constraint with watched literals.
MinWatchCardPB
MinWatchPb	Data structure for pseudo-boolean constraint with watched literals.
MinWatchPbLong	Data structure for pseudo-boolean constraint with watched literals.
MinWatchPbLongCP	Data structure for pseudo-boolean constraint with watched literals.
NoPostProcess
NoPreProcess
NoReduceConflict
OriginalBinaryClausePB
OriginalHTClausePB
PostProcessDivideBy2
PostProcessDivideByGCD
PostProcessToCard
PostProcessToClause
PreProcessReduceConflict
Pseudos
PuebloMinWatchPb
ReduceConflict
UnitClausePB
UnitClausesPB
WatchPb	Abstract data structure for pseudo-boolean constraint with watched literals.
WatchPbLong
WatchPbLongCP

Enum Summary

Enum	Description
AutoDivisionStrategy	The AutoDivisionStrategy enables to specify whether division should be applied automatically, when a common factor is identified.
DivisionStrategy
SkipStrategy

Package org.sat4j.pb.constraints.pb Description

Implementations of pseudo boolean constraints. Caution: this is still an ongoing work. Use with care.