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

COVERAGE SUMMARY FOR CLASS [Solver]

nameclass, %method, %block, %
Solver100% (1/1)62%  (42/68)65%  (1323/2021)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
access$102 (Solver, boolean): boolean0%   (0/1)0%   (0/5)
access$202 (Solver, boolean): boolean0%   (0/1)0%   (0/5)
addAllClauses (IVec): void0%   (0/1)0%   (0/16)
addAtLeast (IVecInt, int): IConstr0%   (0/1)0%   (0/12)
addAtMost (IVecInt, int): IConstr0%   (0/1)0%   (0/32)
addPseudoBoolean (IVecInt, IVec, boolean, BigInteger): IConstr0%   (0/1)0%   (0/36)
cancelLearntLiterals (): void0%   (0/1)0%   (0/19)
claRescalActivity (): void0%   (0/1)0%   (0/23)
clearLearntClauses (): void0%   (0/1)0%   (0/4)
getIthConstr (int): IConstr0%   (0/1)0%   (0/6)
getOrder (): IOrder0%   (0/1)0%   (0/3)
getOutLearnt (): IVecInt0%   (0/1)0%   (0/3)
getStat (): Map0%   (0/1)0%   (0/4)
getStats (): SolverStats0%   (0/1)0%   (0/3)
model (int): boolean0%   (0/1)0%   (0/26)
newVar (): int0%   (0/1)0%   (0/29)
printStat (PrintStream, String): void0%   (0/1)0%   (0/8)
reduceDB (): void0%   (0/1)0%   (0/10)
reduceDB (double): void0%   (0/1)0%   (0/88)
removeConstr (IConstr): boolean0%   (0/1)0%   (0/22)
setOrder (IOrder): void0%   (0/1)0%   (0/9)
setSearchListener (SearchListener): void0%   (0/1)0%   (0/4)
setTimeout (int): void0%   (0/1)0%   (0/4)
simplifyDB (): boolean0%   (0/1)0%   (0/62)
sortOnActivity (): void0%   (0/1)0%   (0/6)
toString (): String0%   (0/1)0%   (0/4)
assume (int): boolean100% (1/1)57%  (13/23)
undoOne (): void100% (1/1)60%  (45/75)
search (long, Handle): Lbool100% (1/1)61%  (137/223)
dimacs2internal (IVecInt): IVecInt100% (1/1)62%  (34/55)
isSatisfiable (IVecInt): boolean100% (1/1)72%  (127/177)
model (): int []100% (1/1)79%  (19/24)
claBumpActivity (Constr): void100% (1/1)83%  (10/12)
enqueue (int, Constr): boolean100% (1/1)84%  (38/45)
analyze (Constr, Handle): int100% (1/1)86%  (164/191)
modelFound (): void100% (1/1)88%  (68/77)
<static initializer>100% (1/1)92%  (11/12)
propagate (): Constr100% (1/1)92%  (77/84)
Solver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, IOr...100% (1/1)100% (10/10)
Solver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, Sea...100% (1/1)100% (104/104)
access$000 (Solver, IVecInt): void100% (1/1)100% (4/4)
addClause (IVecInt): IConstr100% (1/1)100% (11/11)
addConstr (Constr): IConstr100% (1/1)100% (9/9)
cancel (): void100% (1/1)100% (31/31)
cancelUntil (int): void100% (1/1)100% (13/13)
claDecayActivity (): void100% (1/1)100% (8/8)
decayActivities (): void100% (1/1)100% (6/6)
decisionLevel (): int100% (1/1)100% (4/4)
decode2dimacs (int): int100% (1/1)100% (12/12)
enqueue (int): boolean100% (1/1)100% (5/5)
getDSFactory (): DataStructureFactory100% (1/1)100% (3/3)
getTimeout (): int100% (1/1)100% (3/3)
getVocabulary (): ILits100% (1/1)100% (3/3)
isSatisfiable (): boolean100% (1/1)100% (4/4)
learn (Constr): void100% (1/1)100% (36/36)
nAssigns (): int100% (1/1)100% (4/4)
nConstraints (): int100% (1/1)100% (4/4)
nVars (): int100% (1/1)100% (4/4)
newVar (int): int100% (1/1)100% (26/26)
printStat (PrintWriter, String): void100% (1/1)100% (36/36)
record (Constr): void100% (1/1)100% (29/29)
reset (): void100% (1/1)100% (16/16)
setDataStructureFactory (DataStructureFactory): void100% (1/1)100% (21/21)
setExpectedNumberOfClauses (int): void100% (1/1)100% (5/5)
setSimplifier (Solver$ISimplifier): void100% (1/1)100% (4/4)
simpleSimplification (IVecInt): void100% (1/1)100% (71/71)
toString (String): String100% (1/1)100% (89/89)
varBumpActivity (int): void100% (1/1)100% (5/5)

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