Package | Description |
---|---|
org.sat4j.pb.constraints.pb |
Implementations of pseudo boolean constraints.
|
Modifier and Type | Class and Description |
---|---|
class |
MaxWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MaxWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
PuebloMinWatchPb |
class |
WatchPb
Abstract data structure for pseudo-boolean constraint with watched literals.
|
class |
WatchPbLongCP |
Modifier and Type | Method and Description |
---|---|
BigInteger |
ConflictMap.reduceInConstraint(IWatchPb wpb,
BigInteger[] coefsBis,
int indLitImplied,
BigInteger degreeBis)
constraint reduction : removes a literal of the constraint.
|
BigInteger |
IConflict.reduceInConstraint(IWatchPb wpb,
BigInteger[] coefsBis,
int indLitImplied,
BigInteger degreeBis)
Reduction d'une contrainte On supprime un litteral non assigne
prioritairement, vrai sinon.
|
protected BigInteger |
ConflictMap.reduceUntilConflict(int litImplied,
int ind,
BigInteger[] reducedCoefs,
IWatchPb wpb) |
protected BigInteger |
ConflictMapSwitchToClause.reduceUntilConflict(int litImplied,
int ind,
BigInteger[] reducedCoefs,
IWatchPb wpb)
reduces the constraint defined by wpb until the result of the cutting
plane is a conflict. this reduction returns either a clause if .
|
protected BigInteger |
ConflictMapClause.reduceUntilConflict(int litImplied,
int ind,
BigInteger[] reducedCoefs,
IWatchPb wpb)
reduces the constraint defined by wpb until the result of the cutting
plane is a conflict. this reduction returns a clause.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.