| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class GAtom | 100% (1/1) | 79% (15/19) | 60% (203/340) | 62% (49.3/80) |
| criticalForHardClauses (): boolean | | 0% (0/1) | 0% (0/9) | 0% (0/1) |
| delta (KeyBlock): double | | 0% (0/1) | 0% (0/49) | 0% (0/10) |
| flip (KeyBlock): ArrayList | | 0% (0/1) | 0% (0/64) | 0% (0/17) |
| forceFlip (): void | | 0% (0/1) | 0% (0/9) | 0% (0/2) |
| critical (): boolean | | 100% (1/1) | 75% (6/8) | 75% (0.8/1) |
| wannaBeFalse (): boolean | | 100% (1/1) | 78% (7/9) | 77% (0.8/1) |
| wannaBeTrue (): boolean | | 100% (1/1) | 78% (7/9) | 77% (0.8/1) |
| GAtom (int): void | | 100% (1/1) | 100% (45/45) | 100% (15/15) |
| assignSatPotential (GClause): void | | 100% (1/1) | 100% (21/21) | 100% (4/4) |
| assignUnsatPotential (GClause): void | | 100% (1/1) | 100% (21/21) | 100% (4/4) |
| delta (): double | | 100% (1/1) | 100% (6/6) | 100% (1/1) |
| flip (): void | | 100% (1/1) | 100% (12/12) | 100% (3/3) |
| invertDelta (): void | | 100% (1/1) | 100% (11/11) | 100% (4/4) |
| markCritical (): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| markWannaBeFalse (): void | | 100% (1/1) | 100% (7/7) | 100% (2/2) |
| markWannaBeTrue (): void | | 100% (1/1) | 100% (7/7) | 100% (2/2) |
| resetDelta (): void | | 100% (1/1) | 100% (7/7) | 100% (2/2) |
| revokeSatPotential (GClause): void | | 100% (1/1) | 100% (21/21) | 100% (4/4) |
| revokeUnsatPotential (GClause): void | | 100% (1/1) | 100% (21/21) | 100% (4/4) |