| equals(Object) |  | 0% |  | 0% | 11 | 11 | 4 | 4 | 1 | 1 |
| makeConstant(NumberIF) |   | 32% |   | 40% | 4 | 6 | 4 | 11 | 0 | 1 |
| setLower(NumberIF, boolean) |   | 32% |   | 43% | 6 | 8 | 3 | 8 | 0 | 1 |
| setUpper(NumberIF, boolean) |   | 32% |   | 43% | 6 | 8 | 3 | 8 | 0 | 1 |
| constant() |  | 0% |  | 0% | 6 | 6 | 3 | 3 | 1 | 1 |
| enlargeLower(NumberIF, boolean) |   | 55% |   | 50% | 5 | 7 | 3 | 10 | 0 | 1 |
| clone() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| enlargeUpper(NumberIF, boolean) |   | 66% |   | 50% | 5 | 7 | 3 | 10 | 0 | 1 |
| restrictTo(BoundsObject) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| restrictUpper(NumberIF, boolean) |   | 76% |   | 67% | 3 | 7 | 2 | 10 | 0 | 1 |
| toString() |   | 89% |   | 50% | 4 | 5 | 0 | 6 | 0 | 1 |
| isReal() |  | 0% |  | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| restrictLower(NumberIF, boolean) |   | 84% |   | 83% | 2 | 7 | 2 | 10 | 0 | 1 |
| BoundsObject(SymbolicExpressionIF, NumberIF, boolean, NumberIF, boolean) |   | 86% |   | 50% | 2 | 3 | 0 | 9 | 0 | 1 |
| symbolicConstant() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isConsistent() |   | 94% |   | 83% | 2 | 7 | 1 | 8 | 0 | 1 |
| static {...} |   | 75% |   | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| enlargeTo(BoundsObject) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| newLowerBound(SymbolicExpressionIF, NumberIF, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| newUpperBound(SymbolicExpressionIF, NumberIF, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| newTightBound(SymbolicExpressionIF, NumberIF) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| BoundsObject(SymbolicExpressionIF) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isIntegral() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lower() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| upper() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| strictLower() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| strictUpper() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |