public ConflictMapCardinality(Map<Integer, BigInteger> m, BigInteger d,
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ConflictMapCardinality | Line # 8 | 1 | 1 | 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
| No Tests | |||
| 1 | package org.sat4j.minisat.constraints.pb; | |
| 2 | ||
| 3 | import java.math.BigInteger; | |
| 4 | import java.util.Map; | |
| 5 | ||
| 6 | import org.sat4j.minisat.core.ILits; | |
| 7 | ||
| 8 | public class ConflictMapCardinality extends ConflictMap { | |
| 9 | ||
| 10 | 0 |
public ConflictMapCardinality(Map<Integer, BigInteger> m, BigInteger d, |
| 11 | ILits voc, int level) { | |
| 12 | 0 | super(m, d, voc, level); |
| 13 | // TODO Auto-generated constructor stub | |
| 14 | } | |
| 15 | ||
| 16 | } | |
|
||||||||||
