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

COVERAGE SUMMARY FOR CLASS [WLClause]

nameclass, %method, %block, %
WLClause100% (1/1)68%  (15/22)61%  (344/562)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
getLits (): int []0%   (0/1)0%   (0/14)
getVocabulary (): ILits0%   (0/1)0%   (0/3)
locked (): boolean0%   (0/1)0%   (0/13)
remove (): void0%   (0/1)0%   (0/23)
rescaleBy (double): void0%   (0/1)0%   (0/7)
simplify (): boolean0%   (0/1)0%   (0/21)
toString (): String0%   (0/1)0%   (0/46)
calcReason (int, IVecInt): void100% (1/1)48%  (30/62)
propagationCheck (IVecInt, UnitPropagationListener): boolean100% (1/1)63%  (17/27)
assertConstraint (UnitPropagationListener): void100% (1/1)65%  (11/17)
WLClause (IVecInt, ILits): void100% (1/1)77%  (23/30)
propagate (UnitPropagationListener, int): boolean100% (1/1)78%  (84/108)
<static initializer>100% (1/1)88%  (7/8)
register (): void100% (1/1)90%  (78/87)
sanityCheck (IVecInt, ILits, UnitPropagationListener): IVecInt100% (1/1)97%  (58/60)
brandNewClause (UnitPropagationListener, ILits, IVecInt): WLClause100% (1/1)100% (10/10)
get (int): int100% (1/1)100% (5/5)
getActivity (): double100% (1/1)100% (3/3)
incActivity (double): void100% (1/1)100% (7/7)
learnt (): boolean100% (1/1)100% (3/3)
setLearnt (): void100% (1/1)100% (4/4)
size (): int100% (1/1)100% (4/4)

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