Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
file stats: LOC: 29   Methods: 3
NCLOC: 20   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
PBSolverClause.java - 66,7% 66,7% 66,7%
coverage coverage
 1    package org.sat4j.minisat.constraints.pb;
 2   
 3    import org.sat4j.minisat.core.AssertingClauseGenerator;
 4    import org.sat4j.minisat.core.Constr;
 5    import org.sat4j.minisat.core.DataStructureFactory;
 6    import org.sat4j.minisat.core.IOrder;
 7    import org.sat4j.minisat.core.LearningStrategy;
 8   
 9    public class PBSolverClause extends PBSolver {
 10   
 11    /**
 12    *
 13    */
 14    private static final long serialVersionUID = 1L;
 15   
 16  54 public PBSolverClause(AssertingClauseGenerator acg,
 17    LearningStrategy learner, DataStructureFactory dsf, IOrder order) {
 18  54 super(acg, learner, dsf, order);
 19    }
 20   
 21  29214 IConflict chooseConflict(Constr myconfl) {
 22  29214 return ConflictArrayClause.createConflict((PBConstr) myconfl);
 23    }
 24   
 25  0 @Override
 26    public String toString(String prefix) {
 27  0 return super.toString(prefix)+"\n"+prefix+"Simplify asserted PB constraints to clauses";
 28    }
 29    }