Package | Description |
---|---|
org.sat4j.minisat.constraints.card | |
org.sat4j.minisat.constraints.cnf | |
org.sat4j.minisat.core | |
org.sat4j.pb.constraints.pb |
Modifier and Type | Class and Description |
---|---|
class |
AtLeast |
class |
MaxWatchCard |
class |
MinWatchCard |
Modifier and Type | Method and Description |
---|---|
IVec<Undoable> |
Lits.undos(int lit) |
Modifier and Type | Method and Description |
---|---|
IVec<Undoable> |
ILits.undos(int lit)
Retrieve the methods to call when the solver backtracks.
|
Modifier and Type | Class and Description |
---|---|
class |
AtLeastPB |
class |
MaxWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MaxWatchPbLong
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MaxWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchCardPB |
class |
MinWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPbLong
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 |
WatchPbLong |
class |
WatchPbLongCP |