Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
file stats: LOC: 37   Methods: 2
NCLOC: 17   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
ClausalDataStructureWL.java 100% 100% 100% 100%
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.cnf.WLClause;
 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 ClausalDataStructureWL extends AbstractDataStructureFactory {
 19   
 20    private static final long serialVersionUID = 1L;
 21   
 22    /*
 23    * (non-Javadoc)
 24    *
 25    * @see org.sat4j.minisat.DataStructureFactory#createClause(org.sat4j.datatype.VecInt)
 26    */
 27  1251339 public Constr createClause(IVecInt literals) throws ContradictionException {
 28  1251339 IVecInt v = WLClause.sanityCheck(literals, getVocabulary(), solver);
 29  1251329 if (v == null)
 30  67 return null;
 31  1251262 return WLClause.brandNewClause(solver, getVocabulary(), v);
 32    }
 33   
 34  53513972 public Constr createUnregisteredClause(IVecInt literals) {
 35  53513972 return new WLClause(literals, getVocabulary());
 36    }
 37    }