| Clover coverage report - |
|
 |
|
|||||||||||||||||||
| Source file | Conditionals | Statements | Methods | TOTAL | |||||||||||||||
| CSPExtSupportReader.java | - | 0% | 0% | 0% |
|
||||||||||||||
| 1 | package org.sat4j.reader; | |
| 2 | import org.sat4j.reader.csp.SupportsGeneralizedACEncoding; | |
| 3 | import org.sat4j.specs.ISolver; | |
| 4 | ||
| 5 | public class CSPExtSupportReader extends CSPReader { | |
| 6 | ||
| 7 | 0 | public CSPExtSupportReader(ISolver solver) { |
| 8 | 0 | super(solver); |
| 9 | } | |
| 10 | ||
| 11 | 0 | @Override |
| 12 | protected void manageAllowedTuples(int relnum, int[] domains, int nbtuples) { | |
| 13 | 0 | relations[relnum] = new SupportsGeneralizedACEncoding(domains, nbtuples); |
| 14 | } | |
| 15 | } |
|
||||||||||
