| toString() |  | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| equals(Object) | | 100% |  | 90% | 1 | 6 | 0 | 3 | 0 | 1 |
| compareTo(Rule) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| Rule(SortedSet, SortedSet) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| Rule() | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| hashCode() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addToPremise(Comparable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| removeFromPremise(Comparable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addToConclusion(Comparable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| removeFromConclusion(Object) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addAllToPremise(Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| removeAllFromPremise(Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addAllToConclusion(Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| removeAllFromConclusion(Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPremise() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getConclusion() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |