| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class GClause | 100% (1/1) | 100% (12/12) | 99% (540/546) | 98% (84.9/87) |
| toLongString (HashMap): String | | 100% (1/1) | 97% (106/109) | 99% (12.9/13) |
| parse (ResultSet): void | | 100% (1/1) | 98% (172/175) | 94% (29/31) |
| <static initializer> | | 100% (1/1) | 100% (3/3) | 100% (2/2) |
| GClause (): void | | 100% (1/1) | 100% (21/21) | 100% (7/7) |
| cost (): double | | 100% (1/1) | 100% (25/25) | 100% (5/5) |
| isHardClause (): boolean | | 100% (1/1) | 100% (10/10) | 100% (1/1) |
| isPositiveClause (): boolean | | 100% (1/1) | 100% (9/9) | 100% (1/1) |
| linkType (int): int | | 100% (1/1) | 100% (30/30) | 100% (4/4) |
| replaceAtomID (int, int): int | | 100% (1/1) | 100% (39/39) | 100% (8/8) |
| selectMCSAT (): boolean | | 100% (1/1) | 100% (25/25) | 100% (3/3) |
| toPGString (): String | | 100% (1/1) | 100% (49/49) | 100% (7/7) |
| toString (): String | | 100% (1/1) | 100% (51/51) | 100% (6/6) |