View Javadoc

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  }