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

COVERAGE SUMMARY FOR CLASS [Lits]

nameclass, %method, %block, %
Lits100% (1/1)81%  (22/27)68%  (366/540)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
isImplied (int): boolean0%   (0/1)0%   (0/35)
not (int): int0%   (0/1)0%   (0/4)
reset (int): void0%   (0/1)0%   (0/41)
toString (int): String0%   (0/1)0%   (0/17)
valueToString (int): String0%   (0/1)0%   (0/14)
resetPool (): void100% (1/1)44%  (8/18)
unassign (int): void100% (1/1)45%  (10/22)
satisfies (int): void100% (1/1)48%  (11/23)
belongsToPool (int): boolean100% (1/1)54%  (7/13)
getFromPool (int): int100% (1/1)82%  (74/90)
<static initializer>100% (1/1)88%  (7/8)
init (int): void100% (1/1)94%  (103/109)
Lits (): void100% (1/1)100% (30/30)
ensurePool (int): void100% (1/1)100% (4/4)
getLevel (int): int100% (1/1)100% (7/7)
getReason (int): Constr100% (1/1)100% (7/7)
isFalsified (int): boolean100% (1/1)100% (20/20)
isSatisfied (int): boolean100% (1/1)100% (13/13)
isUnassigned (int): boolean100% (1/1)100% (12/12)
nVars (): int100% (1/1)100% (6/6)
realnVars (): int100% (1/1)100% (3/3)
satisfyingValue (int): Lbool100% (1/1)100% (8/8)
setLevel (int, int): void100% (1/1)100% (8/8)
setReason (int, Constr): void100% (1/1)100% (8/8)
undos (int): IVec100% (1/1)100% (7/7)
watch (int, Propagatable): void100% (1/1)100% (8/8)
watches (int): IVec100% (1/1)100% (5/5)

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