EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.learning] |
name | class, % | method, % | block, % |
---|---|---|---|
LimitedLearning | 100% (1/1) | 89% (8/9) | 96% (94/98) |
name | method, % | block, % |
---|---|---|
LimitedLearning (): void | 0% (0/1) | 0% (0/4) |
LimitedLearning (int): void | 100% (1/1) | 100% (16/16) |
init (): void | 100% (1/1) | 100% (17/17) |
learningCondition (Constr): boolean | 100% (1/1) | 100% (9/9) |
learns (Constr): void | 100% (1/1) | 100% (14/14) |
setBound (int): void | 100% (1/1) | 100% (4/4) |
setSolver (Solver): void | 100% (1/1) | 100% (13/13) |
setVarActivityListener (VarActivityListener): void | 100% (1/1) | 100% (9/9) |
toString (): String | 100% (1/1) | 100% (12/12) |
[all classes][org.sat4j.minisat.learning] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |