Package org.checkerframework.checker.index.inequality

Class Summary

Class	Description
LessThanAnnotatedTypeFactory
LessThanChecker	An internal checker that estimates which expression's values are less than other expressions' values.
LessThanTransfer
LessThanVisitor