Package | Description |
---|---|
org.sat4j.pb.constraints |
Implementation of data structures for pseudo boolean constraints.
|
org.sat4j.pb.constraints.pb |
Implementations of pseudo boolean constraints.
|
Modifier and Type | Method and Description |
---|---|
protected WatchPb |
PBMaxDataStructure.learntConstraintFactory(IDataStructurePB dspb) |
Modifier and Type | Class and Description |
---|---|
class |
MaxWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
PuebloMinWatchPb |
Modifier and Type | Method and Description |
---|---|
static WatchPb |
MaxWatchPb.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
static WatchPb |
MinWatchPb.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
static WatchPb |
PuebloMinWatchPb.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.