| Clover coverage report - |
|
 |
|
|||||||||||||||||||
| Source file | Conditionals | Statements | Methods | TOTAL | |||||||||||||||
| MixedDataStructureDaniel.java | - | 100% | 100% | 100% |
|
||||||||||||||
| 1 | /* | |
| 2 | * Created on 16 avr. 2004 | |
| 3 | * | |
| 4 | * To change the template for this generated file go to | |
| 5 | * Window - Preferences - Java - Code Generation - Code and Comments | |
| 6 | */ | |
| 7 | package org.sat4j.minisat.constraints; | |
| 8 | ||
| 9 | import org.sat4j.minisat.constraints.card.AtLeast; | |
| 10 | import org.sat4j.minisat.core.Constr; | |
| 11 | import org.sat4j.specs.ContradictionException; | |
| 12 | import org.sat4j.specs.IVecInt; | |
| 13 | ||
| 14 | /** | |
| 15 | * @author leberre To change the template for this generated type comment go to | |
| 16 | * Window - Preferences - Java - Code Generation - Code and Comments | |
| 17 | */ | |
| 18 | public class MixedDataStructureDaniel extends ClausalDataStructureWL { | |
| 19 | ||
| 20 | private static final long serialVersionUID = 1L; | |
| 21 | ||
| 22 | /* | |
| 23 | * (non-Javadoc) | |
| 24 | * | |
| 25 | * @see org.sat4j.minisat.DataStructureFactory#createCardinalityConstraint(org.sat4j.datatype.VecInt, | |
| 26 | * int) | |
| 27 | */ | |
| 28 | 13 | @Override |
| 29 | public Constr createCardinalityConstraint(IVecInt literals, int degree) | |
| 30 | throws ContradictionException { | |
| 31 | 13 | return AtLeast.atLeastNew(solver, getVocabulary(), literals, degree); |
| 32 | } | |
| 33 | } |
|
||||||||||
