Package | Description |
---|---|
org.sat4j.pb.constraints |
Implementation of data structures for pseudo boolean constraints.
|
org.sat4j.pb.constraints.pb |
Implementations of pseudo boolean constraints.
|
org.sat4j.pb.core |
Implementations of pseudo boolean solvers
|
Modifier and Type | Interface and Description |
---|---|
interface |
IConflict |
Modifier and Type | Class and Description |
---|---|
class |
ConflictMap |
class |
ConflictMapCardinality |
class |
ConflictMapClause |
class |
ConflictMapSwitchToClause |
class |
MapPb |
Modifier and Type | Method and Description |
---|---|
static IDataStructurePB |
Pseudos.niceCheckedParameters(IVecInt ps,
IVec<BigInteger> bigCoefs,
boolean moreThan,
BigInteger bigDeg,
ILits voc) |
static IDataStructurePB |
Pseudos.niceParameters(IVecInt ps,
IVec<BigInteger> bigCoefs,
boolean moreThan,
BigInteger bigDeg,
ILits voc) |
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 WatchPbLong |
MinWatchPbLong.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
static WatchPbLongCP |
MaxWatchPbLongCP.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 WatchPbLongCP |
MinWatchPbLongCP.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
static WatchPb |
PuebloMinWatchPb.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb) |
static WatchPbLong |
MaxWatchPbLong.normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
build a pseudo boolean constraint from a specific data structure.
|
Constructor and Description |
---|
MinWatchPb(ILits voc,
IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k
This constructor is called for learnt pseudo boolean constraints.
|
MinWatchPbLong(ILits voc,
IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k
This constructor is called for learnt pseudo boolean constraints.
|
MinWatchPbLongCP(ILits voc,
IDataStructurePB mpb)
Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k
This constructor is called for learnt pseudo boolean constraints.
|
Modifier and Type | Method and Description |
---|---|
Constr |
PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.