org.sat4j.minisat.constraints.pb (sat4j 1.7 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV PACKAGE NEXT PACKAGE

FRAMES NO FRAMES

Package org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

See:
Description

Interface Summary
IConflict
IDataStructurePB
IInternalPBConstraintCreator
PBConstr

Class Summary
AtLeastPB
ConflictMap
ConflictMapCardinality
ConflictMapClause
ConflictMapMerging
MapPb
MaxWatchPb
MinWatchCardPB
MinWatchPb
MixableCBClausePB
PBSolver<L extends ILits>
PBSolverClause
PBSolverMerging
PBSolverWithImpliedClause
PuebloMinWatchPb
WatchPb
WLClausePB

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