|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use CBClause | |
|---|---|
| org.sat4j.minisat.constraints.cnf | Implementations of clausal contraints. |
| org.sat4j.minisat.constraints.pb | Implementations of pseudo boolean contraints. |
| Uses of CBClause in org.sat4j.minisat.constraints.cnf |
|---|
| Subclasses of CBClause in org.sat4j.minisat.constraints.cnf | |
|---|---|
class |
MixableCBClause
Counter Based clauses that can be mixed with WLCLauses |
| Methods in org.sat4j.minisat.constraints.cnf that return CBClause | |
|---|---|
static CBClause |
MixableCBClause.brandNewClause(UnitPropagationListener s,
ILits voc,
IVecInt literals)
|
static CBClause |
CBClause.brandNewClause(UnitPropagationListener s,
ILits voc,
IVecInt literals)
|
| Uses of CBClause in org.sat4j.minisat.constraints.pb |
|---|
| Subclasses of CBClause in org.sat4j.minisat.constraints.pb | |
|---|---|
class |
MixableCBClausePB
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||