|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IDataStructurePB | |
---|---|
org.sat4j.pb.constraints | |
org.sat4j.pb.constraints.pb | Implementations of pseudo boolean contraints. |
org.sat4j.pb.core |
Uses of IDataStructurePB in org.sat4j.pb.constraints |
---|
Uses of IDataStructurePB in org.sat4j.pb.constraints.pb |
---|
Subinterfaces of IDataStructurePB in org.sat4j.pb.constraints.pb | |
---|---|
interface |
IConflict
|
Classes in org.sat4j.pb.constraints.pb that implement IDataStructurePB | |
---|---|
class |
ConflictMap
|
class |
ConflictMapCardinality
|
class |
ConflictMapClause
|
class |
ConflictMapMerging
|
class |
ConflictMapSwitchToClause
|
class |
MapPb
|
Methods in org.sat4j.pb.constraints.pb that return IDataStructurePB | |
---|---|
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)
|
Methods in org.sat4j.pb.constraints.pb with parameters of type IDataStructurePB | |
---|---|
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 WatchPbLong |
MinWatchPbLongLimit.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. |
Constructors in org.sat4j.pb.constraints.pb with parameters of type IDataStructurePB | |
---|---|
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. |
|
MinWatchPbLongLimit(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. |
Uses of IDataStructurePB in org.sat4j.pb.core |
---|
Methods in org.sat4j.pb.core with parameters of type IDataStructurePB | |
---|---|
Constr |
PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |