| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class KBMC$AtomCutSet$Stratum | 100% (1/1) | 100% (6/6) | 87% (54/62) | 86% (12/14) |
| removeTuplesSubsumedBy (Tuple): void | | 100% (1/1) | 53% (9/17) | 50% (2/4) |
| KBMC$AtomCutSet$Stratum (KBMC$AtomCutSet): void | | 100% (1/1) | 100% (11/11) | 100% (2/2) |
| add (Tuple): void | | 100% (1/1) | 100% (6/6) | 100% (2/2) |
| clear (): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| isEmpty (): boolean | | 100% (1/1) | 100% (4/4) | 100% (1/1) |
| subsumes (Tuple): boolean | | 100% (1/1) | 100% (20/20) | 100% (3/3) |
| | | | | |
| class KBMC | 100% (1/1) | 100% (2/2) | 97% (301/311) | 95% (59.2/62) |
| run (): void | | 100% (1/1) | 97% (292/302) | 95% (55.2/58) |
| KBMC (MarkovLogicNetwork): void | | 100% (1/1) | 100% (9/9) | 100% (4/4) |
| | | | | |
| class KBMC$AtomCutSet | 100% (1/1) | 100% (7/7) | 99% (197/199) | 97% (37/38) |
| subsumes (Tuple): boolean | | 100% (1/1) | 94% (32/34) | 86% (6/7) |
| KBMC$AtomCutSet (Predicate): void | | 100% (1/1) | 100% (39/39) | 100% (9/9) |
| addTuple (Tuple): void | | 100% (1/1) | 100% (55/55) | 100% (11/11) |
| collectAll (): boolean | | 100% (1/1) | 100% (26/26) | 100% (3/3) |
| contains (Tuple): boolean | | 100% (1/1) | 100% (10/10) | 100% (1/1) |
| removeTuple (Tuple): void | | 100% (1/1) | 100% (11/11) | 100% (2/2) |
| top (): Tuple | | 100% (1/1) | 100% (24/24) | 100% (5/5) |