Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
6   35   2   2
2   20   0,67   3
3     1,33  
1    
 
  VarOrderHeapRsat       Line # 14 6 2 81,8% 0.8181818
 
No Tests
 
1    /*
2    * Created on 19 fevr. 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.orders;
8   
9    import org.sat4j.minisat.core.ILits;
10   
11    /**
12    * Heuristics that remembers the latest assignment if any as proposed in Rsat.
13    */
 
14    public class VarOrderHeapRsat extends VarOrderHeap<ILits> {
15   
16    private static final long serialVersionUID = 1L;
17   
 
18  1196560562 toggle @Override
19    public void updateVar(int p) {
20  1196560562 int var = p >> 1;
21  1196560562 updateActivity(var);
22  1196560562 if (heap.inHeap(var))
23  246818765 heap.increase(var);
24    }
25   
 
26  241105828 toggle @Override
27    public void assignLiteral(int p) {
28  241105828 phase[p>>1] = p;
29    }
30   
 
31  0 toggle @Override
32    public String toString() {
33  0 return "VSIDS like heuristics from MiniSAT using a heap and lightweight component caching from RSAT"; //$NON-NLS-1$
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.