Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
file stats: LOC: 52   Methods: 3
NCLOC: 24   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
CardinalityDataStructureYanMax.java - 66,7% 66,7% 66,7%
coverage coverage
 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.MaxWatchCard;
 10    import org.sat4j.minisat.constraints.card.MinWatchCard;
 11    import org.sat4j.minisat.constraints.cnf.WLClause;
 12    import org.sat4j.minisat.core.Constr;
 13    import org.sat4j.specs.ContradictionException;
 14    import org.sat4j.specs.IVecInt;
 15   
 16    /**
 17    * @author leberre To change the template for this generated type comment go to
 18    * Window - Preferences - Java - Code Generation - Code and Comments
 19    */
 20    public class CardinalityDataStructureYanMax extends
 21    AbstractCardinalityDataStructure {
 22   
 23    private static final long serialVersionUID = 1L;
 24   
 25    /*
 26    * (non-Javadoc)
 27    *
 28    * @see org.sat4j.minisat.DataStructureFactory#createClause(org.sat4j.datatype.VecInt)
 29    */
 30  249266 public Constr createClause(IVecInt literals) throws ContradictionException {
 31  249266 return MaxWatchCard.maxWatchCardNew(solver, getVocabulary(), literals,
 32    MinWatchCard.ATLEAST, 1);
 33    }
 34   
 35  5998005 public Constr createUnregisteredClause(IVecInt literals) {
 36  5998005 return new WLClause(literals, getVocabulary());
 37    }
 38   
 39    /*
 40    * (non-Javadoc)
 41    *
 42    * @see org.sat4j.minisat.DataStructureFactory#createCardinalityConstraint(org.sat4j.datatype.VecInt,
 43    * int)
 44    */
 45  0 @Override
 46    public Constr createCardinalityConstraint(IVecInt literals, int degree)
 47    throws ContradictionException {
 48  0 return MaxWatchCard.maxWatchCardNew(solver, getVocabulary(), literals,
 49    MinWatchCard.ATLEAST, degree);
 50    }
 51   
 52    }