| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class MRF | 100% (1/1) | 62% (33/53) | 47% (3284/7032) | 48% (554.5/1155) |
| MRF (MarkovLogicNetwork, int, HashMap): void | | 0% (0/1) | 0% (0/112) | 0% (0/33) |
| adjustAtomClauseRelation (ArrayList, ArrayList, int): void | | 0% (0/1) | 0% (0/254) | 0% (0/41) |
| assignAllFalseTruthValues (): void | | 0% (0/1) | 0% (0/42) | 0% (0/6) |
| assignGreedyTruthValues (): void | | 0% (0/1) | 0% (0/151) | 0% (0/19) |
| auditClauseViolations (): void | | 0% (0/1) | 0% (0/168) | 0% (0/28) |
| calcCostsForWalkSAT (HashSet): double | | 0% (0/1) | 0% (0/277) | 0% (0/37) |
| discard (): void | | 0% (0/1) | 0% (0/16) | 0% (0/6) |
| fixAtom (int, boolean): void | | 0% (0/1) | 0% (0/14) | 0% (0/4) |
| getAtomNeighbors (int): HashSet | | 0% (0/1) | 0% (0/85) | 0% (0/8) |
| getCost (): double | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| getInitStrategy (): MRF$INIT_STRATEGY | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| getMLN (): MarkovLogicNetwork | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| inferSweepSAT (int, int): void | | 0% (0/1) | 0% (0/281) | 0% (0/53) |
| inferWalkSATwithBlocks (int, int): void | | 0% (0/1) | 0% (0/839) | 0% (0/129) |
| isAlwaysTrue (GClause): boolean | | 0% (0/1) | 0% (0/40) | 0% (0/7) |
| maintainKeyConstraints (): void | | 0% (0/1) | 0% (0/42) | 0% (0/8) |
| recalcCost (): double | | 0% (0/1) | 0% (0/28) | 0% (0/5) |
| split (int): ArrayList | | 0% (0/1) | 0% (0/571) | 0% (0/103) |
| testKeyConstraints (): void | | 0% (0/1) | 0% (0/71) | 0% (0/13) |
| unitPropagation (): void | | 0% (0/1) | 0% (0/138) | 0% (0/24) |
| ownsAtom (int): boolean | | 100% (1/1) | 38% (5/13) | 38% (0.4/1) |
| getFlipSequence (GAtom): ArrayList | | 100% (1/1) | 39% (18/46) | 44% (4/9) |
| assignRandomTruthValues (): void | | 100% (1/1) | 47% (37/78) | 59% (7.7/13) |
| restoreLowTruth (): void | | 100% (1/1) | 48% (22/46) | 57% (4/7) |
| saveTruthAsLow (): void | | 100% (1/1) | 48% (22/46) | 57% (4/7) |
| updateAtomTruthTallies (): void | | 100% (1/1) | 48% (27/56) | 57% (4/7) |
| buildIndices (): void | | 100% (1/1) | 48% (71/147) | 59% (13.5/23) |
| updateAtomMarginalProbs (int): void | | 100% (1/1) | 49% (37/76) | 56% (5/9) |
| retainSomeGoodClauses (): int | | 100% (1/1) | 64% (44/69) | 77% (10/13) |
| inferWalkSAT (int, int): void | | 100% (1/1) | 67% (8/12) | 75% (3/4) |
| initMRF (): void | | 100% (1/1) | 67% (22/33) | 54% (7.6/14) |
| saveLowTruth (double): void | | 100% (1/1) | 76% (75/99) | 79% (11/14) |
| inferWalkSATwithoutBlocking (int, int): void | | 100% (1/1) | 80% (573/717) | 81% (94.3/117) |
| mcsat (int, int): void | | 100% (1/1) | 82% (129/158) | 91% (35.3/39) |
| <static initializer> | | 100% (1/1) | 88% (7/8) | 87% (0.9/1) |
| $SWITCH_TABLE$tuffy$infer$MRF$INIT_STRATEGY (): int [] | | 100% (1/1) | 89% (49/55) | 89% (0.9/1) |
| calcExpViolation (): void | | 100% (1/1) | 89% (119/133) | 91% (16.4/18) |
| calcCosts (): double | | 100% (1/1) | 90% (293/326) | 88% (38.7/44) |
| sampleSAT (int): boolean | | 100% (1/1) | 93% (653/701) | 94% (113.8/121) |
| retainOnlyHardClauses (): int | | 100% (1/1) | 94% (34/36) | 97% (7.8/8) |
| MRF (MarkovLogicNetwork): void | | 100% (1/1) | 100% (109/109) | 100% (32/32) |
| addAtom (int): void | | 100% (1/1) | 100% (7/7) | 100% (2/2) |
| calcNSAT (GClause): void | | 100% (1/1) | 100% (28/28) | 100% (6/6) |
| enableAllClauses (): void | | 100% (1/1) | 100% (21/21) | 100% (4/4) |
| getCoreAtoms (): HashSet | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| invalidateLowCost (): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| isTrueLit (int): boolean | | 100% (1/1) | 100% (25/25) | 100% (2/2) |
| performMCSatStep (int): void | | 100% (1/1) | 100% (25/25) | 100% (11/11) |
| setInitStrategy (MRF$INIT_STRATEGY): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| testChance (double): boolean | | 100% (1/1) | 100% (10/10) | 100% (1/1) |
| unfixAllAtoms (): void | | 100% (1/1) | 100% (17/17) | 100% (3/3) |
| updateClauseVoiTallies (): void | | 100% (1/1) | 100% (722/722) | 100% (109/109) |
| updateClauseWeights (HashMap): void | | 100% (1/1) | 100% (64/64) | 100% (13/13) |
| | | | | |
| class MRF$INIT_STRATEGY | 100% (1/1) | 75% (3/4) | 94% (85/90) | 88% (1.8/2) |
| valueOf (String): MRF$INIT_STRATEGY | | 0% (0/1) | 0% (0/5) | 0% (0/1) |
| <static initializer> | | 100% (1/1) | 100% (64/64) | 100% (1/1) |
| MRF$INIT_STRATEGY (String, int): void | | 100% (1/1) | 100% (5/5) | 100% (1/1) |
| values (): MRF$INIT_STRATEGY [] | | 100% (1/1) | 100% (16/16) | 100% (1/1) |