EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009)
[all classes][org.sat4j.minisat.orders]

COVERAGE SUMMARY FOR CLASS [VarOrderHeap]

nameclass, %method, %block, %
VarOrderHeap100% (1/1)72%  (13/18)67%  (202/300)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
getVocabulary (): ILits0%   (0/1)0%   (0/3)
newVar (): void0%   (0/1)0%   (0/4)
numberOfInterestingVariables (): int0%   (0/1)0%   (0/21)
varActivity (int): double0%   (0/1)0%   (0/7)
varRescaleActivity (): void0%   (0/1)0%   (0/24)
init (): void100% (1/1)66%  (66/100)
<static initializer>100% (1/1)88%  (7/8)
updateActivity (int): void100% (1/1)88%  (14/16)
select (): int100% (1/1)94%  (34/36)
VarOrderHeap (): void100% (1/1)100% (16/16)
newVar (int): void100% (1/1)100% (1/1)
printStat (PrintWriter, String): void100% (1/1)100% (14/14)
setLits (ILits): void100% (1/1)100% (4/4)
setVarDecay (double): void100% (1/1)100% (4/4)
toString (): String100% (1/1)100% (2/2)
undo (int): void100% (1/1)100% (10/10)
updateVar (int): void100% (1/1)100% (22/22)
varDecayActivity (): void100% (1/1)100% (8/8)

[all classes][org.sat4j.minisat.orders]
EMMA 2.0.5312 (C) Vladimir Roubtsov