| Class | Description |
|---|---|
| LessThanAnnotatedTypeFactory |
The type factory for the Less Than Checker.
|
| LessThanChecker |
An internal checker that estimates which expression's values are less than other expressions'
values.
|
| LessThanTransfer |
Implements 3 refinement rules:
1.
|
| LessThanVisitor |
The visitor for the Less Than Checker.
|