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