| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class DataMover | 100% (1/1) | 50% (6/12) | 49% (410/839) | 49% (80/162) |
| $SWITCH_TABLE$tuffy$util$Config$MCSAT_OUTPUT_TUPLE_ORDER (): int [] | | 0% (0/1) | 0% (0/27) | 0% (0/1) |
| assignRandomTruth (String): void | | 0% (0/1) | 0% (0/16) | 0% (0/4) |
| copyStatesToPredicateTables (String, boolean): void | | 0% (0/1) | 0% (0/76) | 0% (0/12) |
| dumpProbsToFile (String, String): void | | 0% (0/1) | 0% (0/208) | 0% (0/37) |
| loadTruthTable (String): HashMap | | 0% (0/1) | 0% (0/44) | 0% (0/11) |
| updateOriTable (HashSet, Predicate): void | | 0% (0/1) | 0% (0/42) | 0% (0/8) |
| atomToString (Predicate, ResultSet, HashMap): String | | 100% (1/1) | 91% (72/79) | 77% (10/13) |
| loadMrfFromDb (MRF, String, String): MRF | | 100% (1/1) | 97% (90/93) | 92% (22/24) |
| dumpTruthToFile (String, String): void | | 100% (1/1) | 97% (99/102) | 90% (19/21) |
| flushAtomStates (Collection, String): void | | 100% (1/1) | 98% (125/128) | 92% (22/24) |
| DataMover (MarkovLogicNetwork): void | | 100% (1/1) | 100% (10/10) | 100% (4/4) |
| loadMrfFromDb (String, String): MRF | | 100% (1/1) | 100% (14/14) | 100% (3/3) |