Package org.checkerframework.checker.index.inequality

Class Summary

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.