makeCompactAssociation() |  | 0% |  | 0% | 8 | 8 | 23 | 23 | 1 | 1 |
deleteElement(Comparable) |   | 88% |   | 75% | 2 | 5 | 2 | 14 | 0 | 1 |
representativeGraph() |   | 95% |   | 88% | 1 | 5 | 1 | 23 | 0 | 1 |
reduction() |   | 97% |   | 93% | 1 | 8 | 1 | 34 | 0 | 1 |
checkRuleElements(Rule) |   | 89% |   | 75% | 2 | 5 | 2 | 9 | 0 | 1 |
isDirect() |   | 96% |   | 88% | 1 | 5 | 1 | 10 | 0 | 1 |
isMinimum() |   | 96% |   | 75% | 1 | 3 | 1 | 11 | 0 | 1 |
isLeftMinimal() |   | 95% |   | 90% | 1 | 6 | 1 | 9 | 0 | 1 |
isCompact() |   | 95% |   | 88% | 1 | 5 | 1 | 7 | 0 | 1 |
isIncludedIn(ImplicationalSystem) |   | 95% |   | 75% | 1 | 3 | 1 | 10 | 0 | 1 |
isProper() |   | 94% |   | 83% | 1 | 4 | 1 | 7 | 0 | 1 |
isRightMaximal() |   | 92% |   | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
addAllElements(TreeSet) |   | 91% |   | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
isUnary() |   | 90% |   | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
isCanonicalDirectBasis() |  | 95% |   | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
isCanonicalBasis() |  | 95% |   | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
replaceRule(Rule, Rule) |  | 92% |   | 50% | 2 | 3 | 0 | 1 | 0 | 1 |
makeDirect() |  | 100% |  | 100% | 0 | 8 | 0 | 22 | 0 | 1 |
random(int, int) |  | 100% |  | 100% | 0 | 7 | 0 | 21 | 0 | 1 |
makeCompact() |  | 100% |  | 100% | 0 | 6 | 0 | 22 | 0 | 1 |
makeProper() |  | 100% |  | 100% | 0 | 6 | 0 | 13 | 0 | 1 |
makeUnary() |  | 100% |  | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
toString() |  | 100% |  | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
makeLeftMinimal() |  | 100% |  | 100% | 0 | 6 | 0 | 12 | 0 | 1 |
makeCanonicalBasis() |  | 100% |  | 100% | 0 | 3 | 0 | 11 | 0 | 1 |
makeMinimum() |  | 100% |  | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
makeRightMaximal() |  | 100% |  | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
closure(TreeSet) |  | 100% |   | 88% | 1 | 5 | 0 | 9 | 0 | 1 |
ImplicationalSystem(Collection) |  | 100% |  | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
makeCanonicalDirectBasis() |  | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
ImplicationalSystem(ImplicationalSystem) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
addRule(Rule) |  | 100% |   | 75% | 1 | 3 | 0 | 3 | 0 | 1 |
dependencyGraph() |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
init() |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
parse(String) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
isReduced() |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
ImplicationalSystem(String) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
ImplicationalSystem() |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
save(String) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
addElement(Comparable) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
containsRule(Rule) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
removeRule(Rule) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getRules() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getSet() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
sizeElements() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
sizeRules() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |