Package org.sat4j.pb.constraints.pb

Implementations of pseudo boolean constraints.

See: Description

Interface Summary

Interface	Description
IConflict
IDataStructurePB
IWatchPb
PBConstr

Class Summary

Class	Description
AtLeastPB
ConflictMap
ConflictMapCardinality
ConflictMapClause
ConflictMapSwitchToClause
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.
OriginalBinaryClausePB
OriginalHTClausePB
Pseudos
PuebloMinWatchPb
UnitClausePB
UnitClausesPB
WatchPb	Abstract data structure for pseudo-boolean constraint with watched literals.
WatchPbLong
WatchPbLongCP

Package org.sat4j.pb.constraints.pb Description

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