Package org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

See:
          Description

Interface Summary
IConflict  
IDataStructurePB  
PBConstr  
 

Class Summary
AtLeastPB  
ConflictMap  
ConflictMapCardinality  
ConflictMapClause  
ConflictMapMerging  
InternalMapPBStructure  
LearntBinaryClausePB  
LearntHTClausePB  
MapPb  
MaxWatchPb  
MinWatchCardPB  
MinWatchPb  
MixableCBClausePB  
OriginalBinaryClausePB  
OriginalHTClausePB  
Pseudos  
PuebloMinWatchPb  
UnitClausePB  
WatchPb  
 

Package org.sat4j.pb.constraints.pb Description

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



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.