Package | Description |
---|---|
org.sat4j.pb.constraints.pb |
Modifier and Type | Class and Description |
---|---|
class |
MaxWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
Modifier and Type | Method and Description |
---|---|
static WatchPbLongCP |
MaxWatchPbLongCP.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
static WatchPbLongCP |
MinWatchPbLongCP.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|