1 |
| package org.sat4j.minisat.constraints; |
2 |
| |
3 |
| import org.sat4j.minisat.constraints.pb.MixableCBClausePB; |
4 |
| import org.sat4j.minisat.constraints.pb.PBConstr; |
5 |
| import org.sat4j.specs.IVecInt; |
6 |
| |
7 |
| public class PBMaxCBClauseCardConstrDataStructure extends |
8 |
| PBMaxClauseCardConstrDataStructure { |
9 |
| |
10 |
54
| public PBMaxCBClauseCardConstrDataStructure() {
|
11 |
54
| super();
|
12 |
| } |
13 |
| |
14 |
| |
15 |
| |
16 |
| |
17 |
| private static final long serialVersionUID = 1L; |
18 |
| |
19 |
| |
20 |
73623
| protected PBConstr constructClause(IVecInt v) {
|
21 |
73623
| return MixableCBClausePB.brandNewClause(solver, getVocabulary(), v);
|
22 |
| } |
23 |
| |
24 |
| |
25 |
18630
| protected PBConstr constructLearntClause(IVecInt literals) {
|
26 |
18630
| return new MixableCBClausePB(literals, getVocabulary());
|
27 |
| } |
28 |
| |
29 |
| } |