Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
5   35   1   1,25
0   21   0,8   4
4     1  
1    
 
  MiniSATRestarts       Line # 12 5 1 77,8% 0.7777778
 
  (163)
 
1    /*
2    * Created on 8 juin 07
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.restarts;
8   
9    import org.sat4j.minisat.core.RestartStrategy;
10    import org.sat4j.minisat.core.SearchParams;
11   
 
12    public class MiniSATRestarts implements RestartStrategy {
13   
14    private double nofConflicts;
15   
16    private SearchParams params;
17   
 
18  2459 toggle public void init(SearchParams params) {
19  2459 this.params = params;
20  2459 nofConflicts = params.getInitConflictBound();
21    }
22   
 
23  5531 toggle public long nextRestartNumberOfConflict() {
24  5531 return Math.round(nofConflicts);
25    }
26   
 
27  5531 toggle public void onRestart() {
28  5531 nofConflicts *= params.getConflictBoundIncFactor();
29    }
30   
 
31  0 toggle @Override
32    public String toString() {
33  0 return "MiniSAT restarts strategy";
34    }
35    }
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.