Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
file stats: LOC: 31   Methods: 3
NCLOC: 20   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
PBSolverCard.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 PBSolverCard extends PBSolver {
 10   
 11    /**
 12    *
 13    */
 14    private static final long serialVersionUID = 1L;
 15   
 16  1 public PBSolverCard(AssertingClauseGenerator acg, LearningStrategy learner,
 17    DataStructureFactory dsf, IOrder order) {
 18  1 super(acg, learner, dsf, order);
 19    // TODO Auto-generated constructor stub
 20    }
 21   
 22  25264 IConflict chooseConflict(Constr myconfl) {
 23  25264 return ConflictArrayCard.createConflict((PBConstr) myconfl);
 24    }
 25   
 26  0 @Override
 27    public String toString(String prefix) {
 28  0 return super.toString(prefix)+"\n"+prefix+"Simplify asserted PB constraints to cardinality constraints";
 29    }
 30   
 31    }