| Class | Description |
|---|---|
| LessThanAnnotatedTypeFactory | |
| LessThanChecker |
An internal checker that estimates which expression's values are less than other expressions'
values.
|
| LessThanTransfer |
Implements 2 refinement rules:
1.
|
| LessThanVisitor |