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 public ConflictMapCardinality(Map<Integer, BigInteger> m, BigInteger d,
11 ILits voc, int level) {
12 super(m, d, voc, level);
13 // TODO Auto-generated constructor stub
14 }
15
16 }